3 ms·
But there won’t be a book.
by moomin 7y ago
But there won’t be a book.
- lodi 7y agoI believe the plan is to release an Idris2 edition of the book. The Idris2 repository currently has all of the book code as part of its test suite and is making progress towards compiling all of it (currently 12 of the 15 chapters).