git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ee3dbaa
help
sign in
Idris-dev
/
src
12 files
../
Core.hs
QED now rechecks the term, instead of just finalise. *bites fingernails*
15 years ago
CoreParser.hs
Better if unification substitutes rather than let binds
15 years ago
Elaborate.hs
Change tactic names: fill for unify_fill and exact for fill
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
Change tactic names: fill for unify_fill and exact for fill
15 years ago
ShellParser.hs
Change tactic names: fill for unify_fill and exact for fill
15 years ago
Test.hs
Started theorem prover and tactics
15 years ago
Typecheck.hs
QED now rechecks the term, instead of just finalise. *bites fingernails*
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