Re:Functional Semantics in Imperative Clothing (Richard Feld...
by rtfeldman on Monday April 29, 2024 @09:01AM
(#40197753)
TIL that Idris also has a very similar `!` operator (in the prefix position instead of suffix) - thank you for sharing!
[ Parent
| on HN ]