git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
3c0f4dc
help
sign in
Idris-dev
/
src
/
IRTS
14 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
Beginnings of integer SIMD support (no backend yet)
13 years ago
CodegenCommon.hs
Remove old ifdefs for supporting base<4 since we require base>=4
13 years ago
CodegenJava.hs
Beginnings of integer SIMD support (no backend yet)
13 years ago
CodegenJavaScript.hs
Beginnings of integer SIMD support (no backend yet)
13 years ago
CodegenLLVM.hs
Beginnings of integer SIMD support (no backend yet)
13 years ago
Compiler.hs
Beginnings of integer SIMD support (no backend yet)
13 years ago
Defunctionalise.hs
Remove the unused arg from lookup functions
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
Beginnings of integer SIMD support (no backend yet)
13 years ago
Lang.hs
Beginnings of integer SIMD support (no backend yet)
13 years ago
Simplified.hs
Remove the unused arg from lookup functions
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