git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
2a68244
help
sign in
Idris-dev
/
src
/
Idris
/
Core
13 files
../
Binary.hs
Add linear Lam
10 years ago
CaseTree.hs
Add linear Lam
10 years ago
Constraints.hs
Alphabetize and indent imports and LANGUAGE pragmas
10 years ago
DeepSeq.hs
Add 'RigCount' to Pi and PVar
10 years ago
Elaborate.hs
Add RigCount to pattern bindings
10 years ago
Evaluate.hs
Check linear types in binders are valid
10 years ago
Execute.hs
Check for linearity of constructors
10 years ago
ProofState.hs
Add linear Lam
10 years ago
ProofTerm.hs
Check for linearity of constructors
10 years ago
TT.hs
Check for linearity of constructors
10 years ago
Typecheck.hs
Check linear types in binders are valid
10 years ago
Unify.hs
Check for linearity of constructors
10 years ago
WHNF.hs
Add linear Lam
10 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