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.
[ Parent
| on HN ]
There are no comments on this comment yet.