git.iko.soy/Idris-dev
on 99fd819 help sign in
Idris-dev/src/IRTS
6 files
../ Bytecode.hsMore primitives; started FFI in IRTS CodegenC.hsAdded defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language Defunctionalise.hsAdded defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language LParser.hsAdded defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language Lang.hsAdded defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator language Simplified.hsCompile foreign calls