News for hackers. Stuff that matters.
Re:Idris: A Language for Type-Driven Development by davidwritesbugs on Saturday January 21, 2023 @05:43AM (#34465454)
The hopi is out of days though. It covers Idris 1 and isn't, I believe, being updated. Edwin intimated to me a while ago he'd rather have his bollocks cut off than write another book, and I assume he included updates in that. Idris 2 has significant differences to 1.

There are no comments on this comment yet.