git.iko.soy/Idris-dev
on ef93607 help sign in
history ofsrc/IRTS/Java/JTypes.hs
all commits
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