5 ms·+1 on "Type-driven development with Idris". A really fun and insightful book to work through!by mkw5053 6y ago+1 on "Type-driven development with Idris". A really fun and insightful book to work through!