4 ms·
If anyone is having trouble understanding the raw code linked above, the official book[1] introduces all three of those concepts gently and intuitively. I high
by lodi 9y ago
If anyone is having trouble understanding the raw code linked above, the official book[1] introduces all three of those concepts gently and intuitively. I highly recommend it!
[1] https://www.manning.com/books/type-driven-development-with-idris https://www.manning.com/books/type-driven-development-with-i...
- Buttons840 9y agoThe book is written by the creator of the Idris language. I highly recommend it to those interested in type level programming as well.