git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
112f92a
help
sign in
Idris-dev
/
src
/
IRTS
12 files
../
BCImp.hs
Set up for adding new compiler back ends more easily
14 years ago
Bytecode.hs
Some tiny RTS optimisations
14 years ago
CodegenC.hs
Compile to nested if rather than switch for small cases
14 years ago
CodegenCommon.hs
Disambiguate catch explicitly in CodegenCommon
14 years ago
CodegenJava.hs
Fix a few missing module references
14 years ago
Compiler.hs
Better IO + faster compilation by avoiding needless cases in EVAL/APPLY
14 years ago
Defunctionalise.hs
Better IO + faster compilation by avoiding needless cases in EVAL/APPLY
14 years ago
DumpBC.hs
Merge pull request #120 from DanielWaterworth/master
14 years ago
Inliner.hs
Fix unification error that led to some trivial things not checking
14 years ago
LParser.hs
Fix Integer matching bug
14 years ago
Lang.hs
Improve case compilation by checking most distinct argument first
14 years ago
Simplified.hs
Some tiny RTS optimisations
14 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