git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
97e39ca
help
sign in
Idris-dev
/
src
/
Core
9 files
../
CaseTree.hs
Strictness improvements
13 years ago
Constraints.hs
Whitespace cleanup.
13 years ago
Elaborate.hs
Cut off fruitless proof search earlier
13 years ago
Evaluate.hs
Default superclass intances
13 years ago
Execute.hs
Allow the executor to call foreign functions that return possibly-null strings.
13 years ago
ProofState.hs
Improvment on readability and usability of induction and eliminators.
13 years ago
TT.hs
Induction on nat working
13 years ago
Typecheck.hs
Fix regression with implicits, add a test
13 years ago
Unify.hs
Cut off fruitless proof search earlier
13 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