git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
df4ee4f
help
sign in
history of
src/Idris/Error.hs
all commits
22546bc
:r and :e at the REPL.
Edwin Brady
15 years ago
551548c
Beginning theorem prover interface
Edwin Brady
15 years ago
ec87a69
Some effort at reporting line numbers of errors (top level of decl only)
Edwin Brady
15 years ago
070b0fa
Some unification/evaluation bug fixes
Edwin Brady
15 years ago
f9fb363
Tinkering with error reporting
Edwin Brady
15 years ago
739e0b5
Some error handling
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