git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ed85b4e
help
sign in
Idris-dev
/
src
/
IRTS
12 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
Added the ability to dump bytecode to a file
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
Merge pull request #114 from raichoo/word
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
DumpBC.hs
Added the ability to dump bytecode to a file
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
word 8/16 primitive types
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