git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
2fc1fc6
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 15 files
../
JavaScript/
added prim op LFloatInt ITBig
9 years ago
BCImp.hs
Alphabetize and indent imports and LANGUAGE pragmas
10 years ago
Bytecode.hs
Alphabetize and indent imports and LANGUAGE pragmas
10 years ago
CodegenC.hs
Implement a RWS monad for the C backend
11 years ago
CodegenCommon.hs
add a type alias for the TT Declaration as it is getting unwieldy
10 years ago
CodegenJavaScript.hs
JSRTS: move templates into JSRTS
9 years ago
Compiler.hs
add a type alias for the TT Declaration as it is getting unwieldy
10 years ago
Defunctionalise.hs
Alphabetize and indent imports and LANGUAGE pragmas
10 years ago
DumpBC.hs
Alphabetize and indent imports and LANGUAGE pragmas
10 years ago
Exports.hs
Alphabetize and indent imports and LANGUAGE pragmas
10 years ago
Inliner.hs
Alphabetize and indent imports and LANGUAGE pragmas
10 years ago
Lang.hs
moved data and typeable deriving of LAlt' to its definition
9 years ago
LangOpts.hs
Alphabetize and indent imports and LANGUAGE pragmas
10 years ago
Portable.hs
Add PrimFn missing cases for portable codegen
9 years ago
Simplified.hs
Simplify generating the simplified language
10 years ago
System.hs
Drop trailing separators when specifying dirs to compiler
9 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