git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
cecf6bf
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 15 files
../
JavaScript/
added prim op LCompl
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
Merge pull request #3973 from idris-lang/revert_rws
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
Prefer to load imports from the current package
9 years ago
Defunctionalise.hs
Simplify LV/DV constructor be removing unused case
9 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
Simplify LV/DV constructor be removing unused case
9 years ago
LangOpts.hs
Simplify LV/DV constructor be removing unused case
9 years ago
Portable.hs
Move extensions into source files
9 years ago
Simplified.hs
Simplify LV/DV constructor be removing unused case
9 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