GitHub - klausnat/idris: Type-Driven Development with Idris Book by Edwin Brady, Exercises

Name		Name	Last commit message	Last commit date
Latest commit History 176 Commits
Chapter 1		Chapter 1
Chapter 10		Chapter 10
Chapter 11		Chapter 11
Chapter 12		Chapter 12
Chapter 13		Chapter 13
Chapter 14		Chapter 14
Chapter 15		Chapter 15
Chapter 2		Chapter 2
Chapter 3		Chapter 3
Chapter 4		Chapter 4
Chapter 5		Chapter 5
Chapter 6		Chapter 6
Chapter 7		Chapter 7
Chapter 8		Chapter 8
Chapter 9		Chapter 9