git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
5ee3376
help
sign in
Idris-dev
/
src
12 files
../
Core.hs
Unification, and unify tactic
15 years ago
CoreParser.hs
Unification, and unify tactic
15 years ago
Elaborate.hs
make Elab a state monad for ease of EDSL programming
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
make Elab a state monad for ease of EDSL programming
15 years ago
ProofState.hs
Added elaborate; a language for composing primitive tactics.
15 years ago
ShellParser.hs
make Elab a state monad for ease of EDSL programming
15 years ago
Test.hs
Started theorem prover and tactics
15 years ago
Typecheck.hs
Simple parser for data types
15 years ago
Unify.hs
Unification, and unify tactic
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