EBEdwin BradyReorganise TTC to make code generation faster02ce7b56 years agoHistory

Name	Last commit message	Last commit date
..
AutoSearch.idr
Binary.idr
CaseBuilder.idr
CaseTree.idr
CompileExpr.idr
Context.idr
Core.idr
Coverage.idr
Directory.idr
Env.idr
FC.idr
GetType.idr
Hash.idr
InitPrimitives.idr
LinearCheck.idr
Metadata.idr
Name.idr
Normalise.idr
Options.idr
Primitives.idr
Reflect.idr
Termination.idr
Transform.idr
TT.idr
TTC.idr
Unify.idr
UnifyState.idr
Value.idr