impl-paper/Better if unification substitutes rather than let binds15 years ago src/Pretty printing data declarations15 years ago LICENSEFix LICENSE15 years ago READMEFirst commit15 years ago decls.miFunctor for PTerm/PDecl15 years ago miniidris.cabalStart of a REPL and main program with argument processing15 years ago test.miShift core TT into a separate directory (for ease of reuse)15 years ago