@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 think we’re still learning the idioms :). You can start by doing things like in Haskell, but that’s less fun.
-
-
Yeah, I want to unlock the power of dependent types. I already have Haskell to write my Haskell in.
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.