git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
cd462c9
help
sign in
history of
src/IRTS/Java/Mangling.hs
all commits
93992c3
Compile Nat as Int, (and plus/mult/fromInteger)
Edwin Brady
13 years ago
aa8ab8f
Generate simpler names with showCG
Edwin Brady
13 years ago
3d80dae
Fix missing case in Java codegen
Edwin Brady
13 years ago
b4689f4
Java Backend Overhaul Part 1
Jan Bessai
13 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list