git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ea65347
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 15 files
../
JavaScript/
added some missing LTrunc LZExt primitives
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
Fix character escaping of codegen
9 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