git.iko.soy/Idris-dev
on 4cec951 help sign in
Idris-dev/src/IRTS
9 files
../ BCImp.hsSet up for adding new compiler back ends more easily Bytecode.hsSet up for adding new compiler back ends more easily CodegenC.hsAdded simple library packaging system Now used for the prelude (see lib/base.ipkg) CodegenJava.hsSet up for adding new compiler back ends more easily Compiler.hsAdded fork (but not working properly yet) Defunctionalise.hsAdded fork (but not working properly yet) LParser.hsSupport linking external .o files in new compiler Lang.hsAdded fork (but not working properly yet) Simplified.hsNew RTS almost ready, but for garbage collection problem