@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?
That is a fair comment! The book aims more at fundamentals of TypeDD, because that is more useful in the long run.
-
-
Yes, not a comment on the book per se, just on the state of the ecosystem... which in any event is natural for a young language.
-
I think we have lots to learn about how best to use dependent types as well. It’s fun finding out.
- 8 more replies
New conversation -
-
-
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.
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.