git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
4dddfaf
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 14 files
../
Java/
SSA style stack management and FChar is finally gone.
13 years ago
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
Merge branch 'restored-itnative-codegen' of https://github.com/Ralith/Idris-dev into StrLenRegressionTest
13 years ago
CodegenCommon.hs
Remove old ifdefs for supporting base<4 since we require base>=4
13 years ago
CodegenJava.hs
Remove Java RTS build in favor of the version hosted on Maven Central
13 years ago
CodegenJavaScript.hs
javascript: add LZExt
13 years ago
CodegenLLVM.hs
StrRev primitive too
13 years ago
Compiler.hs
rename O into Z
13 years ago
Defunctionalise.hs
APPLY needs a catch all case for type constructors Normally, they get erased, but in case they haven't at compile time this ensures they are at run-time. It's safe just to return an erased term since it can't be inspected. Fixes #416 (This may mean somethi…
13 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
Make ChType a member of IntTy ITChar.
13 years ago
Lang.hs
Vector FFI and bitcasts
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