@edwinbrady Hey, been getting into Idris more since your book and it's great. Is there any progress on a package manager btw? Can I help?
I am on the case, though. For example: https://www.idris-lang.org/drafts/sms.pdf http://docs.idris-lang.org/en/latest/st/index.html …
-
-
I'm really excited about the possibilities of indexed monads for state machines btw, this is something I've wanted for a long time.
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.