git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
bba09bd
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 14 files
../
Java/
Compile Nat as Int, (and plus/mult/fromInteger)
13 years ago
BCImp.hs
Set up for adding new compiler back ends more easily
14 years ago
Bytecode.hs
Removing useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0'
13 years ago
CodegenC.hs
Better representation and rendering of generated names
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: reduce bitint constants
13 years ago
CodegenLLVM.hs
Verify that foreign symbols declared in multiple places have a consistent signature
13 years ago
Compiler.hs
Fix missing case in Defunctionalise.hs
13 years ago
Defunctionalise.hs
Fix missing case in Defunctionalise.hs
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
Use the ErrorT failure functions and attempt to preserve error structure
13 years ago
Lang.hs
Support signed integer comparison by introducing new primitives
13 years ago
Simplified.hs
Fix compilation of unqualified constructor names
13 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