git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
00f1cd5
help
sign in
Idris-dev
/
src
/
Idris
/
Core
12 files
../
Binary.hs
Check target of 'with' is a value (not a function)
12 years ago
CaseTree.hs
Lifted FIXME and TODO from Core/CaseTree
12 years ago
Constraints.hs
Lifted FIXME from Core/Constraints.
12 years ago
DeepSeq.hs
Store kind in Pi binders
12 years ago
Elaborate.hs
Use ExceptT instead of ErrorT
12 years ago
Evaluate.hs
Use ExceptT instead of ErrorT
12 years ago
Execute.hs
Use ExceptT instead of ErrorT
12 years ago
ProofState.hs
Avoid retrying unification problems constantly
12 years ago
ProofTerm.hs
Avoid retrying unification problems constantly
12 years ago
TT.hs
Use ExceptT instead of ErrorT
12 years ago
Typecheck.hs
Lifted TODO/FIXME to the issue tracker for Core/Typecheck
12 years ago
Unify.hs
Check for cycles in unification results
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