Type-Driven Development with Idris. If you haven't delved into dependent typing before, you absolutely owe it to yourself.
Typographic jacket · original cover not fetched
FROM THE SHARED SHELF · 2006–2026 SAMPLE
Type-Driven Development with Idris
1 reader recommends it across 1 discussion
Topics are model-inferred labels.
Keep it on your reading list
THE WORD OF MOUTH
What made it worth passing on?
Original Hacker News comments, in the readers’ own words.