git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
fddebca
help
sign in
history of
src/IRTS/DumpBC.hs
all commits
19ef940
Merge pull request #120 from DanielWaterworth/master
Edwin Brady
14 years ago
7245290
Some tiny RTS optimisations
Edwin Brady
14 years ago
3b578c9
Bugfix, trivial typo
Daniel Waterworth
14 years ago
e3d393c
Added the ability to dump bytecode to a file
Daniel Waterworth
14 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