git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
c4e7ba2
help
sign in
Idris-dev
/
src
/
IRTS
11 files
../
BCImp.hs
Set up for adding new compiler back ends more easily
14 years ago
Bytecode.hs
Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.
14 years ago
CodegenC.hs
Made generating C headers more declarative
14 years ago
CodegenCommon.hs
Disambiguate catch explicitly in CodegenCommon
14 years ago
CodegenJava.hs
Fix a few missing module references
14 years ago
Compiler.hs
Adding support for Windows MingW32
14 years ago
Defunctionalise.hs
Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.
14 years ago
Inliner.hs
Fix unification error that led to some trivial things not checking
14 years ago
LParser.hs
Fix a few missing module references
14 years ago
Lang.hs
added Data.Bits and primitives for Int
14 years ago
Simplified.hs
Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.
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