git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ea65347
help
sign in
Idris-dev
/
src
/
Idris
/
Core
13 files
../
Binary.hs
Add linear Lam
10 years ago
CaseTree.hs
Fixed unstylized things in Idris and stylize.sh script
10 years ago
Constraints.hs
Turn on some LANGUAGE pragmas to make stylish-haskell happy.
10 years ago
DeepSeq.hs
Add 'RigCount' to Pi and PVar
10 years ago
Elaborate.hs
Fix disambiguation on LHS
10 years ago
Evaluate.hs
Fix for evaluation of partial things at the REPL
9 years ago
Execute.hs
Fix the idris_time special case.
10 years ago
ProofState.hs
Fixed unstylized things in Idris and stylize.sh script
10 years ago
ProofTerm.hs
Check for linearity of constructors
10 years ago
TT.hs
Fix name decoration
10 years ago
Typecheck.hs
Fixed unstylized things in Idris and stylize.sh script
10 years ago
Unify.hs
Change meaning of 'data' in interfaces
10 years ago
WHNF.hs
Fixed unstylized things in Idris and stylize.sh script
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