@edwinbrady what's the state of algebraic effects in Idris? I see code for it on GitHub but all the links about it seem to end in 404.
@keithtpinson Web server reconfiguration problem. I'm away in the middle of nowhere at the moment but I'll try to fix shortly.
-
-
@edwinbrady thanks! Monads not composing hit me in the face right at the beginning of learning them so I want to try algebraic effects.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.