git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
d774fbd
help
sign in
history of
src/IRTS/Java/Mangling.hs
all commits
5000aeb
Add a Cabal library
Brian McKenna
13 years ago
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