git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
44d62c7
help
sign in
Idris-dev
/
src
12 files
../
Core.hs
apply and prepare_apply elaborations
15 years ago
CoreParser.hs
Better if unification substitutes rather than let binds
15 years ago
Elaborate.hs
Undo tactic
15 years ago
Evaluate.hs
Unification, and unify tactic
15 years ago
Main.hs
Better if unification substitutes rather than let binds
15 years ago
ProofShell.hs
Undo tactic
15 years ago
ProofState.hs
Better if unification substitutes rather than let binds
15 years ago
ShellParser.hs
Undo tactic
15 years ago
Test.hs
Started theorem prover and tactics
15 years ago
Typecheck.hs
arg tactic; unification tweak
15 years ago
Unify.hs
arg tactic; unification tweak
15 years ago
test.mi
Simple parser for data types
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