git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
f92ecd2
help
sign in
Idris-dev
/
src
/
Idris
6 folders, 47 files
../
Core/
Remove the empty property 'copyright'.
9 years ago
Elab/
Remove the empty property 'copyright'.
9 years ago
Info/
Alphabetize and indent imports and LANGUAGE pragmas
10 years ago
Package/
Remove the empty property 'copyright'.
9 years ago
Parser/
Remove the empty property 'copyright'.
9 years ago
REPL/
Remove the empty property 'copyright'.
9 years ago
ASTUtils.hs
Remove the empty property 'copyright'.
9 years ago
AbsSyntax.hs
Remove the empty property 'copyright'.
9 years ago
AbsSyntaxTree.hs
Remove the empty property 'copyright'.
9 years ago
Apropos.hs
Remove the empty property 'copyright'.
9 years ago
CaseSplit.hs
Remove the empty property 'copyright'.
9 years ago
Chaser.hs
Remove the empty property 'copyright'.
9 years ago
CmdOptions.hs
Fix export lists for CmdOptions and Termination
9 years ago
Colours.hs
Remove the empty property 'copyright'.
9 years ago
Completion.hs
Remove the empty property 'copyright'.
9 years ago
Coverage.hs
Remove the empty property 'copyright'.
9 years ago
DSL.hs
Remove the empty property 'copyright'.
9 years ago
DataOpts.hs
Remove the empty property 'copyright'.
9 years ago
DeepSeq.hs
Remove the empty property 'copyright'.
9 years ago
Delaborate.hs
Remove the empty property 'copyright'.
9 years ago
Directives.hs
Remove the empty property 'copyright'.
9 years ago
Docs.hs
Remove the empty property 'copyright'.
9 years ago
Docstrings.hs
Remove the empty property 'copyright'.
9 years ago
ElabDecls.hs
Remove the empty property 'copyright'.
9 years ago
Erasure.hs
Remove the empty property 'copyright'.
9 years ago
ErrReverse.hs
Remove the empty property 'copyright'.
9 years ago
Error.hs
Remove the empty property 'copyright'.
9 years ago
Help.hs
Remove the empty property 'copyright'.
9 years ago
IBC.hs
Remove the empty property 'copyright'.
9 years ago
IdeMode.hs
Remove the empty property 'copyright'.
9 years ago
IdrisDoc.hs
Remove the empty property 'copyright'.
9 years ago
Imports.hs
Remove the empty property 'copyright'.
9 years ago
Info.hs
Remove the empty property 'copyright'.
9 years ago
Inliner.hs
Remove the empty property 'copyright'.
9 years ago
Interactive.hs
Remove the empty property 'copyright'.
9 years ago
Main.hs
Reexport parseErrorDoc from Idris.Parser
9 years ago
ModeCommon.hs
Add export list to Idris.Output and Idris.ModeCommon
9 years ago
Options.hs
Remove the empty property 'copyright'.
9 years ago
Output.hs
Remove the empty property 'copyright'.
9 years ago
Package.hs
Remove the empty property 'copyright'.
9 years ago
Parser.hs
Remove the empty property 'copyright'.
9 years ago
PartialEval.hs
Remove the empty property 'copyright'.
9 years ago
Primitives.hs
Remove the empty property 'copyright'.
9 years ago
ProofSearch.hs
Remove the empty property 'copyright'.
9 years ago
Prover.hs
Remove the empty property 'copyright'.
9 years ago
Providers.hs
Remove the empty property 'copyright'.
9 years ago
REPL.hs
Reexport parseErrorDoc from Idris.Parser
9 years ago
Reflection.hs
Remove the empty property 'copyright'.
9 years ago
Termination.hs
Remove the empty property 'copyright'.
9 years ago
Transforms.hs
Remove the empty property 'copyright'.
9 years ago
TypeSearch.hs
Remove the empty property 'copyright'.
9 years ago
Unlit.hs
Remove the empty property 'copyright'.
9 years ago
WhoCalls.hs
Remove the empty property 'copyright'.
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