git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
e613365
help
sign in
history of
src/Core/Unify.hs
all commits
019faba
Fixed unification; added well-typed interpreter
Edwin Brady
15 years ago
739e0b5
Some error handling
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