Exercises from the Idris Type Driven Development book
Find a file
2017-03-23 15:31:37 +08:00
Chapter3 Chapter 3 - Matrices 2016-12-25 20:57:30 +00:00
Chapter4 Chapter 4 - Data Store 2016-12-29 17:03:25 +00:00
Chapter5 Chapter 7 - instances 2017-01-21 18:12:51 +08:00
Chapter6 Chapter 6 - DataStore - c'd't 2017-01-21 12:14:24 +08:00
Chapter7 Chapter 7 - Foldable on vectors 2017-01-21 19:01:42 +08:00
Chapter8 Add some notes 2017-01-28 14:25:28 +08:00
Chapter9 Chapter 9 - Hangman 2017-02-02 15:22:29 +08:00
Chapter10 Chapter 10 - Ex 10.3.4 2017-03-23 12:27:29 +08:00
Chapter11 Chapter 11 - Infinite IO streams 2017-03-23 15:31:37 +08:00
.gitignore Exercise 3 2016-12-24 11:13:46 +00:00
Notes.txt Chapter 11 - Streams 2017-03-23 14:34:34 +08:00