git.iko.soy/Idris-dev
on de89a04 help sign in
Idris-dev
2 folders, 7 files
impl-paper/Add ElabInfo to pass through elaborator src/Add ElabInfo to pass through elaborator 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)