git.iko.soy/Idris-dev
on e88a135 help sign in
history ofsrc/IRTS/Compiler.hs
all commits
c02a58cAdded fork (but not working properly yet)Edwin Brady 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady b49000aSupport linking external .o files in new compilerEdwin Brady e956ecaDon't lambda lift unused argumentsEdwin Brady f959008New RTS in placeEdwin Brady 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady dae8526Added IRTS.CompilerEdwin Brady