I wrote this on state in Idris, and it hasn’t (yet) been rejected, so comments are welcome! https://www.idris-lang.org/drafts/sms.pdf
-
-
Hahaha, monty-pythonesque XD.. "There is a certain majesty in simplicity which is far above all the quaintness of wit." (A. Pope)
-
do-notation has no paper. Mustn't be very useful. :-)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.