git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
f869396
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
Adds the ability to keep around the generated maven project
13 years ago
CodegenCommon.hs
Adds the ability to keep around the generated maven project
13 years ago
CodegenJava.hs
Adds the ability to keep around the generated maven project
13 years ago
CodegenJavaScript.hs
javascript: reduce bitint constants
13 years ago
CodegenLLVM.hs
Adds the ability to keep around the generated maven project
13 years ago
Compiler.hs
Better display of metavariable types in :t
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