git.iko.soy/Idris-dev
on v0.9.18.1 help sign in
Idris-dev/iif
6 files
../ adder.iifAdded defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language big.iifChange TRACE mode to use -O2 ctest.crename rts include file lazy.iifAdded lazy application to IRTS testmap.iifAdded a simple copying GC testvm.iifCompile foreign calls