4 ms·
TIL that Idris also has a very similar `!` operator (in the prefix position instead of suffix) - thank you for sharing!
by rtfeldman 2y ago
TIL that Idris also has a very similar `!` operator (in the prefix position instead of suffix) - thank you for sharing!
- alipang 2y agoEven Javascript has a similar syntax, though `yield` / `await` only works for certain "monads" (promises seem close enough)