@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?
-
-
Yeah, my questions now are like "Ok, he's how I can port this from Haskell, but what would be idiomatic use of dependent types?"
-
Sometimes I feel like I couldn't have come up with the solutions I find, which can be a bit intimidating.
- 6 more replies
New conversation -
-
-
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.
