git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
82fe0c6
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 13 files
../
Java/
Fix rendering of LChInt in Java backend
13 years ago
BCImp.hs
Whitespace cleanup.
13 years ago
Bytecode.hs
Inlining - Evaluator now supports run-time terms
13 years ago
CodegenC.hs
Fix Char literal matching in C codegen
13 years ago
CodegenCommon.hs
Adds the ability to keep around the generated maven project
13 years ago
CodegenJava.hs
Change from shebangs with absolute references to using /usr/bin/env
13 years ago
CodegenJavaScript.hs
Merge branch 'master' of github.com:edwinb/Idris-dev
13 years ago
CodegenLLVM.hs
Add floating point primitives to LLVM backend
13 years ago
Compiler.hs
When specialising, reduce more names
13 years ago
Defunctionalise.hs
Inlining - Evaluator now supports run-time terms
13 years ago
DumpBC.hs
Whitespace cleanup.
13 years ago
Inliner.hs
Whitespace cleanup.
13 years ago
Lang.hs
Null pointer primitive
13 years ago
Simplified.hs
Whitespace cleanup.
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