| .. |
| Ambiguity.idr | newtype optimisation | 6 years ago |
| App.idr | Evaluate primitives (fromInteger etc) | 6 years ago |
| As.idr | Simpler implementation of 'case' | 6 years ago |
| Binders.idr | Fix lambda multiplicity check | 6 years ago |
| Case.idr | Some inlining changes | 6 years ago |
| Check.idr | Erasure correctness | 6 years ago |
| Delayed.idr | Depth error are ambiguity errors too | 6 years ago |
| Dot.idr | Resolving ambiguity under IMustUnify | 6 years ago |
| Hole.idr | Save holes to ttc even if solved by unification | 6 years ago |
| ImplicitBind.idr | Rabbit hole | 6 years ago |
| Lazy.idr | Prioritise resolution of delayed elaborators | 6 years ago |
| Local.idr | Fix where under multiple cases | 6 years ago |
| Prim.idr | Detaggability under where clauses | 6 years ago |
| Quote.idr | Add unquoting/escaping | 6 years ago |
| Record.idr | Prioritise resolution of delayed elaborators | 6 years ago |
| Rewrite.idr | Prioritise resolution of delayed elaborators | 6 years ago |
| Term.idr | Allow setting logging mid term | 6 years ago |
| Utils.idr | Better approach to erasure in pattern matching | 6 years ago |