git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
db07875
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 14 files
../
JavaScript/
Fix comparison ops in JS backend
11 years ago
BCImp.hs
Add a Cabal library
13 years ago
Bytecode.hs
Use FDesc for foreign target
12 years ago
CodegenC.hs
Allow an extension on tempfiles
11 years ago
CodegenCommon.hs
Generate interface files for C->Idris calls
12 years ago
CodegenJavaScript.hs
Emit an html file with embedded js if given that extension
11 years ago
Compiler.hs
Show source location of case block names
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
Support IO in foreign exports
12 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
Add feature to add compiler flags from environment with IDRIS_CFLAGS
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