git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
49fffbc
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 13 files
../
JavaScript/
javascript: wrap exceptions in function
12 years ago
BCImp.hs
Add a Cabal library
13 years ago
Bytecode.hs
Use FDesc for foreign target
12 years ago
CodegenC.hs
Merge branch 'master' of github.com:idris-lang/Idris-dev
12 years ago
CodegenCommon.hs
Optimisation options
12 years ago
CodegenJavaScript.hs
Make functions work in JS FFI
12 years ago
Compiler.hs
Use FDesc for foreign target
12 years ago
Defunctionalise.hs
Use FDesc for foreign target
12 years ago
DumpBC.hs
New language-dependent FFI
12 years ago
Inliner.hs
Add a Cabal library
13 years ago
Lang.hs
Fix lambda lifting bug with uniqueness
12 years ago
LangOpts.hs
New language-dependent FFI
12 years ago
Simplified.hs
Use FDesc for foreign target
12 years ago
System.hs
Add IDRIS_LIBRARY_PATH environment variable
12 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