git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
d3adb11
help
sign in
Idris-dev
/
src
/
Core
10 files
../
CaseTree.hs
Pattern matcher, evaluation of 2+2 now works
15 years ago
CoreParser.hs
Some ghc 6.12 compatibility
15 years ago
Elaborate.hs
All names introduced by nachine should be MN, to avoid clashes
15 years ago
Evaluate.hs
Lots of improvements in elaborating and evaluating
15 years ago
ProofShell.hs
Elaborating types and data declarations
15 years ago
ProofState.hs
Some error handling
15 years ago
ShellParser.hs
Elaborating types and data declarations
15 years ago
TT.hs
Fixed unification; added well-typed interpreter
15 years ago
Typecheck.hs
Pattern matcher, evaluation of 2+2 now works
15 years ago
Unify.hs
Fixed unification; added well-typed interpreter
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