| .. |
| Elab | Small code generation improvements | 6 years ago |
| IDEMode | Remove chicken back end | 6 years ago |
| Socket | Added Idris.Socket | 7 years ago |
| CommandLine.idr | Add --verbose flag | 6 years ago |
| Desugar.idr | Check and add transform rules | 6 years ago |
| Error.idr | Merge branch 'remove-RigCount' of https://github.com/andrevidela/Idris2 into andrevidela-remove-RigCount | 6 years ago |
| Main.idr | Rename everything idris2boot, increment version | 6 years ago |
| ModTree.idr | Faster search for modules to build in packages | 6 years ago |
| Package.idr | --find-pkg load dependencies | 6 years ago |
| Parser.idr | Check and add transform rules | 6 years ago |
| ProcessIdr.idr | Do compiling/inlining per module | 6 years ago |
| REPL.idr | Remove chicken back end | 6 years ago |
| REPLCommon.idr | cope with different number of :ok return values | 6 years ago |
| REPLOpts.idr | A bit more library support | 6 years ago |
| Resugar.idr | Check and add transform rules | 6 years ago |
| SetOptions.idr | Add some more IRs for back ends to use | 6 years ago |
| Socket.idr | Added Idris.Socket | 7 years ago |
| Syntax.idr | Check and add transform rules | 6 years ago |
| Version.idr | Only use version tag in display | 6 years ago |