git.iko.soy/Idris-dev
on 0875310 help sign in
history ofsrc/IRTS/Java/Mangling.hs
all commits
b5e9afeFix error in Java name manglingDavid Raymond Christiansen 46e894dUse Data.Text for variable namesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 93992c3Compile Nat as Int, (and plus/mult/fromInteger)Edwin Brady aa8ab8fGenerate simpler names with showCGEdwin Brady 3d80daeFix missing case in Java codegenEdwin Brady b4689f4Java Backend Overhaul Part 1Jan Bessai