git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
bcdde4a
help
sign in
Idris-dev
/
src
/
Core
10 files
../
CaseTree.hs
Fixed pattern matching and delaborator bug
15 years ago
CoreParser.hs
Added constants and some primitive operations
15 years ago
Elaborate.hs
Allow interleaving of explicit and implicit arguments in top level types
15 years ago
Evaluate.hs
Fixed pattern matching and delaborator bug
15 years ago
ProofShell.hs
Elaborating types and data declarations
15 years ago
ProofState.hs
Tinkering with error reporting
15 years ago
ShellParser.hs
Elaborating types and data declarations
15 years ago
TT.hs
Added 'where' clauses in pattern matches
15 years ago
Typecheck.hs
Added constants and some primitive operations
15 years ago
Unify.hs
Tinkering with error reporting
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