git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
77ea792
help
sign in
Idris-dev
/
src
/
Idris
/
Core
11 files
../
CaseTree.hs
Add two uncovered cases to substSC.
12 years ago
Constraints.hs
Strictness annotations
13 years ago
DeepSeq.hs
Add a special name for instance constructors.
13 years ago
Elaborate.hs
Remove implicit qualifier for 'effect'
12 years ago
Evaluate.hs
Avoid hole bindings in unification solutions
12 years ago
Execute.hs
Make executor emulate putchar
12 years ago
ProofState.hs
Can't assume explicit names in updateSolved
12 years ago
TC.hs
Future-proof the TC' monad
12 years ago
TT.hs
Merge pull request #1258 from bmsherman/uniqueBinders
12 years ago
Typecheck.hs
Conversion checking tweak
13 years ago
Unify.hs
Avoid hole bindings in unification solutions
12 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