git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
efd11bb
help
sign in
history of
src/Core/ProofShell.hs
all commits
f85d1f0
:ttshell
Edwin Brady
15 years ago
aa85339
Builds on ubuntu haskell platform
Edwin Brady
15 years ago
ff5f762
Rename Core to TT
Edwin Brady
15 years ago
0ae24f1
Shift core TT into a separate directory (for ease of reuse)
Edwin Brady
15 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