Despite defining >= and Pure, it seems to me that the classic Idris door example is not a monad because (>= Pure) is not identity.
-
-
I didn't @ you because I didn't want to use Twitter as tech support, but I came across it called a parametised monad in the states paper. :)
-
Heh, I just happened to open the client right then :). This might be of interest… https://bentnib.org/paramnotions-jfp.pdf …
- 1 more reply
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.