git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
f652e05
help
sign in
Idris-dev
/
src
/
Idris
/
Core
13 files
../
Binary.hs
Merge branch 'master' of github.com:idris-lang/Idris-dev
10 years ago
CaseTree.hs
Unbreak doc build
10 years ago
Constraints.hs
Small reduction in constraint generation
10 years ago
DeepSeq.hs
Use GHC generics for NFData instances
10 years ago
Elaborate.hs
HLint DIrected Code Cleanup
10 years ago
Evaluate.hs
Fix conversion of case blocks
10 years ago
Execute.hs
Check file size before reading in readFile
10 years ago
ProofState.hs
Fix a unification bug
10 years ago
ProofTerm.hs
Added documentation for modules.
10 years ago
TT.hs
Use GHC generics for NFData instances
10 years ago
Typecheck.hs
Small reduction in constraint generation
10 years ago
Unify.hs
Store file with constraints + export
10 years ago
WHNF.hs
Added documentation for modules.
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