| .. |
| Arith.idr | Remove trailing whitespace from Idris sources. | 7 years ago |
| ArithCmd.idr | Port code examples for chapters 13 and 14 from TypeDD book | 6 years ago |
| ArithCmdDo.idr | Port code examples for chapters 13 and 14 from TypeDD book | 6 years ago |
| ArithTotal.idr | Port code examples for chapters 13 and 14 from TypeDD book | 6 years ago |
| expected | Chapter 11 examples now working | 7 years ago |
| Greet.idr | Port code examples for chapters 13 and 14 from TypeDD book | 6 years ago |
| InfIO.idr | Port code examples for chapters 13 and 14 from TypeDD book | 6 years ago |
| InfList.idr | Chapter 11 examples now working | 7 years ago |
| Label.idr | Chapter 11 examples now working | 7 years ago |
| run | Chapter 11 examples now working | 7 years ago |
| RunIO.idr | Port code examples for chapters 13 and 14 from TypeDD book | 6 years ago |
| StreamFail.idr | Chapter 11 examples now working | 7 years ago |
| Streams.idr | Chapter 11 examples now working | 7 years ago |