git.iko.soy/Idris-dev
on a2a5141 help sign in
Idris-dev
2 folders, 7 files
impl-paper/Better if unification substitutes rather than let binds src/Allow interleaving of explicit and implicit arguments in top level types LICENSEFix LICENSE READMEFirst commit decls.miLots of improvements in elaborating and evaluating interp.miAdded using blocks miniidris.cabalAdded constants and some primitive operations prims.miFloat operations test.miShift core TT into a separate directory (for ease of reuse)