git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
031ffb4
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
Fix truncation of Integer in C codegen
13 years ago
CodegenCommon.hs
Disambiguate catch explicitly in CodegenCommon
14 years ago
CodegenJava.hs
Fix for conversion methods in the Java backend
13 years ago
CodegenJavaScript.hs
javascript: address fields directly via ['fieldname']
13 years ago
Compiler.hs
Added backend target specification to %lib, %link and %include directives
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
Expand integer primitive unification to encompass bigints
13 years ago
Lang.hs
javascript: make FFI work with HOFs
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