git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsrc/IRTS/DumpBC.hs
all commits
7324c04Added FIXME for DumbBc.hsJan de Muijnck-Hughes e5d1956Propagate constructor updates to bytecodeEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 3c32b65Whitespace cleanup.George Leontiev 19ef940Merge pull request #120 from DanielWaterworth/masterEdwin Brady 7245290Some tiny RTS optimisationsEdwin Brady 3b578c9Bugfix, trivial typoDaniel Waterworth e3d393cAdded the ability to dump bytecode to a fileDaniel Waterworth