Despite defining >= and Pure, it seems to me that the classic Idris door example is not a monad because (>= Pure) is not identity.
Heh, I just happened to open the client right then :). This might be of interest… https://bentnib.org/paramnotions-jfp.pdf …
-
-
I started reading that this morning. On holiday, so it's paper season. :-)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.