git.iko.soy/Idris-dev
on fdbee50 help sign in
history ofsrc/IRTS/Java/JTypes.hs
all commits
0f97368Merge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna ea3b20aFix rendering of LChInt in Java backendMelvar Chen ffe8706Null pointer primitiveEdward Amsden b8e398eSupport signed integer comparison by introducing new primitivesJan Bessai 3b25e9eSSA style stack management and FChar is finally gone.Jan Bessai 72524a0Proper tail calls and ArithTy ITChar supportJan Bessai b4689f4Java Backend Overhaul Part 1Jan Bessai