git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
b8a2bbf
help
sign in
history of
src/Core/ProofShell.hs
all commits
06a81c9
Elaborating types and data declarations
Edwin Brady
15 years ago
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