git.iko.soy/Idris-dev
on 35ec145 help sign in
Idris-dev/iif
5 files
../ adder.iifAdded defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language ctest.crename rts include file lazy.iifAdded lazy application to IRTS testmap.iifAdded defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language testvm.iifCompile foreign calls