| .. |
| Algebra | Replace RigCount by Semiring operations | 6 years ago |
| Compiler | Fix gambit codegen | 6 years ago |
| Control | Bring `src/Text/Parser` and its dependencies closer to idris2 | 6 years ago |
| Core | Reorganise TTC to make code generation faster | 6 years ago |
| Data | Basic Show instance of NameMap | 6 years ago |
| Idris | Rename everything idris2boot, increment version | 6 years ago |
| Parser | Remove extra Show TokenData definition | 6 years ago |
| Text | Switch to List Char for the lexer | 6 years ago |
| TTImp | Reorganise TTC to make code generation faster | 6 years ago |
| Utils | Merge pull request #367 from cypheon/bugfix/ttc-bigint-unmarshalling | 6 years ago |
| Yaffle | Merge branch 'remove-RigCount' of https://github.com/andrevidela/Idris2 into andrevidela-remove-RigCount | 6 years ago |
| Algebra.idr | Replace RigCount by Semiring operations | 6 years ago |
| Makefile | [ admin ] add empty default target distinct from clean | 6 years ago |