Trying some evil syntax for monad binding. This is probably a bad idea, but I'm having fun... http://lpaste.net/94393 http://lpaste.net/94387
@reifyreflect I would like to do that eventually. It feels like it doesn't play nicely with some other features Idris has though.
-
-
@edwinbrady I can believe that. First class thunks are helpful -
@reifyreflect I'm not giving up on the idea though :).
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.