3 ms·
The book is written by the creator of the Idris language. I highly recommend it to those interested in type level programming as well.
by Buttons840 9y ago
The book is written by the creator of the Idris language. I highly recommend it to those interested in type level programming as well.