| .. |
| AutoSearch.idr | Change order of argument search in auto implicits | 6 years ago |
| Binary.idr | Don't fully normalise LHS | 6 years ago |
| CaseBuilder.idr | Don't build run time case trees for Rig0 defs | 6 years ago |
| CaseTree.idr | [ refactor ] following discussion with @ziman | 6 years ago |
| CompileExpr.idr | Erase the World, with care | 6 years ago |
| Context.idr | Erase the World, with care | 6 years ago |
| Core.idr | Report an error if ambiguities go too deep | 6 years ago |
| Coverage.idr | Allow flagging types as externally defined | 6 years ago |
| Directory.idr | Don't clobber CWD in --exec. | 6 years ago |
| Env.idr | Merge branch 'master' into casetree | 6 years ago |
| FC.idr | Conversion checking of case blocks | 6 years ago |
| GetType.idr | Simpler implementation of 'case' | 6 years ago |
| Hash.idr | Add default implicit arguments | 6 years ago |
| InitPrimitives.idr | Remove trailing whitespace from Idris sources. | 7 years ago |
| LinearCheck.idr | Erasure correctness | 6 years ago |
| Metadata.idr | Merge pull request #205 from abailly/syntax-highlight | 6 years ago |
| Name.idr | Refactor ident to reuse in IDEMode, fixes out of sync bug. | 6 years ago |
| Normalise.idr | Don't fully normalise LHS | 6 years ago |
| Options.idr | Add a lambda lifter | 6 years ago |
| Primitives.idr | Bitwise operators | 6 years ago |
| Reflect.idr | Better approach to erasure in pattern matching | 6 years ago |
| Termination.idr | Simpler implementation of 'case' | 6 years ago |
| Transform.idr | Add ITransform to TTImp | 7 years ago |
| TT.idr | Merge branch 'master' into casetree | 6 years ago |
| TTC.idr | Erase the World, with care | 6 years ago |
| Unify.idr | Note which holes a constraint is blocking on | 6 years ago |
| UnifyState.idr | Note which holes a constraint is blocking on | 6 years ago |
| Value.idr | Simpler implementation of 'case' | 6 years ago |