| .. |
| Compiler | Better compiling for newtypes | 6 years ago |
| Control | Bring `src/Text/Parser` and its dependencies closer to idris2 | 6 years ago |
| Core | Don't fully normalise LHS | 6 years ago |
| Data | Bring `src/Text/Parser` and its dependencies closer to idris2 | 6 years ago |
| Idris | Some inlining changes | 6 years ago |
| Parser | Refactor ident to reuse in IDEMode, fixes out of sync bug. | 6 years ago |
| Text | [ cleanup ] scan | 6 years ago |
| TTImp | Fix lambda multiplicity check | 6 years ago |
| Utils | Fix buffer allocation error | 6 years ago |
| Yaffle | Literate programming | 7 years ago |
| Makefile | [ admin ] add empty default target distinct from clean | 6 years ago |