| .. |
| chapter01 | Add '--no-banner' option | 7 years ago |
| chapter02 | Make a start on Data.Vect | 7 years ago |
| chapter03 | Make a start on Data.Vect | 7 years ago |
| chapter04 | Remove trailing whitespace from Idris sources. | 7 years ago |
| chapter05 | Remove trailing whitespace from Idris sources. | 7 years ago |
| chapter06 | Add 'last chance' unification and tweak guesses | 7 years ago |
| chapter07 | Remove trailing whitespace from Idris sources. | 7 years ago |
| chapter08 | Remove trailing whitespace from Idris sources. | 7 years ago |
| chapter09 | Rabbit hole | 6 years ago |
| chapter10 | Add prettyName | 6 years ago |
| chapter11 | Port code examples for chapters 13 and 14 from TypeDD book | 6 years ago |
| chapter12 | Adjust some tests. | 6 years ago |
| chapter13 | Port code examples for chapters 13 and 14 from TypeDD book | 6 years ago |
| chapter14 | Port code examples for chapters 13 and 14 from TypeDD book | 6 years ago |