git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
da61891
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 14 files
../
JavaScript/
Bug fix for infinite loop while executing a callback in the Javascript runtime.
11 years ago
BCImp.hs
Add a Cabal library
13 years ago
Bytecode.hs
Use FDesc for foreign target
12 years ago
CodegenC.hs
Do not split arguments indiscriminately on spaces
11 years ago
CodegenCommon.hs
Util method for overriding libdir w/ env var.
11 years ago
CodegenJavaScript.hs
Bug fix for infinite loop while executing a callback in the Javascript runtime.
11 years ago
Compiler.hs
New rules for name visibility
11 years ago
Defunctionalise.hs
Use any instead of or/map and null/filter
11 years ago
DumpBC.hs
New language-dependent FFI
12 years ago
Exports.hs
Categorised the Logs.
11 years ago
Inliner.hs
Add a Cabal library
13 years ago
Lang.hs
Substring as primitive
11 years ago
LangOpts.hs
New language-dependent FFI
12 years ago
Simplified.hs
Use FDesc for foreign target
12 years ago
System.hs
Util method for overriding libdir w/ env var.
11 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