| .. |
| Elab | Fix some details of transforms | 6 years ago |
| Interactive | Refactor identChar into the identLexer to have that definition in one place | 6 years ago |
| BindImplicits.idr | Replace RigCount by Semiring operations | 6 years ago |
| Elab.idr | Fix some details of transforms | 6 years ago |
| Impossible.idr | Take environment into account in coverage check | 6 years ago |
| Parser.idr | Merge branch 'remove-RigCount' of https://github.com/andrevidela/Idris2 into andrevidela-remove-RigCount | 6 years ago |
| PartialEval.idr | Improve partial evaluation | 6 years ago |
| ProcessData.idr | Add noNewtype option to data types | 6 years ago |
| ProcessDecls.idr | Check and add transform rules | 6 years ago |
| ProcessDef.idr | Reorganise TTC to make code generation faster | 6 years ago |
| ProcessParams.idr | Replace RigCount by Semiring operations | 6 years ago |
| ProcessRecord.idr | Do another round of inlining, and io_bind | 6 years ago |
| ProcessTransform.idr | Fix some details of transforms | 6 years ago |
| ProcessType.idr | Make parameters to statics also static | 6 years ago |
| Reflect.idr | Use a data type for dotting reason | 6 years ago |
| TTImp.idr | Check and add transform rules | 6 years ago |
| Unelab.idr | Replace RigCount by Semiring operations | 6 years ago |
| Utils.idr | Only record fields should be in a new namespace | 6 years ago |
| WithClause.idr | Add default implicit arguments | 6 years ago |