| .. |
| FFI-readline | Some FFI documentation | 6 years ago |
| bmain.idr | More tutorial updates | 6 years ago |
| BTree.idr | More tutorial updates | 6 years ago |
| deprec.idr | More documentation updates | 6 years ago |
| dummy.ipkg | Add implementation ... using syntax | 6 years ago |
| fctypes.idr | More documentation updates | 6 years ago |
| holes.idr | Some progress on updating the tutorial | 6 years ago |
| Interp.idr | Update interpreter section of crash course | 6 years ago |
| InterpE.idr | More documentation updates | 6 years ago |
| io.idr | More documentation updates | 6 years ago |
| listcomp.idr | More documentation updates | 6 years ago |
| multiplicity.idr | Document multiplicities in crash course | 6 years ago |
| MyOrd.idr | More documentation updates | 6 years ago |
| NamedSemi.idr | More documentation updates | 6 years ago |
| params.idr | More tutorial updates | 6 years ago |
| Prims.idr | Some progress on updating the tutorial | 6 years ago |
| Proofs.idr | Update proof tutorial for Idris 2 | 6 years ago |
| Vect.idr | More documentation updates | 6 years ago |
| Void.idr | More documentation refreshing | 6 years ago |
| wheres.idr | Some progress on updating the tutorial | 6 years ago |
| With.idr | More documentation refreshing | 6 years ago |