git.iko.soy/Idris-dev
on ef3aed2 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.hsFix floating point arithmetic code generation 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