git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
d66da21
help
sign in
history of
test/test002/expected
all commits
a38ac1a
Fix test002
Edwin Brady
13 years ago
f6d3e1c
Reinstate universe checking in test002
Edwin Brady
13 years ago
73bdc53
Refactoring of parser to Trifecta, documenting and updating some items/fixing some issues.
Ahmad Salim Al-Sibahi
13 years ago
33baa44
More on errors; propagate line numbers
Edwin Brady
15 years ago
b645699
Don't write .ibc on error; add new test
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