git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
321b8fd
help
sign in
Idris-dev
/
src
/
IRTS
13 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
Reduce redundancy across integer operations
14 years ago
CodegenCommon.hs
Disambiguate catch explicitly in CodegenCommon
14 years ago
CodegenJava.hs
Reduce redundancy across integer operations
14 years ago
CodegenJavaScript.hs
Reduce redundancy across integer operations
14 years ago
Compiler.hs
Merge pull request #246 from bitlisp/ffi2
14 years ago
Defunctionalise.hs
Generate legal DChkCase expressions when defunctionalization is trivial
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
Reduce redundancy across integer operations
14 years ago
Lang.hs
Reduce redundancy across integer operations
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