git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
89ffe9b
help
sign in
Idris-dev
/
src
12 files
../
Core.hs
apply and prepare_apply elaborations
15 years ago
CoreParser.hs
Unification, and unify tactic
15 years ago
Elaborate.hs
Undo tactic
15 years ago
Evaluate.hs
Unification, and unify tactic
15 years ago
Main.hs
Added elaborate; a language for composing primitive tactics.
15 years ago
ProofShell.hs
Undo tactic
15 years ago
ProofState.hs
Undo tactic
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