git.iko.soy/Idris-dev
on 6e66041 help sign in
Idris-dev/src/Idris
6 folders, 47 files
../ Core/Prevent private functions showing up in autocomplete and :t. Elab/Move extensions into source files Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Move extensions into source files Parser/Move extensions into source files REPL/Refactoring: Move options out of AbsSyntax ASTUtils.hsRefactoring: Move options out of AbsSyntax AbsSyntax.hsPrevent private functions showing up in autocomplete and :t. AbsSyntaxTree.hsMove extensions into source files Apropos.hsMove extensions into source files CaseSplit.hsMove extensions into source files Chaser.hsMove extensions into source files CmdOptions.hsMerge pull request #3921 from geigerzaehler/remove-old-ghc Colours.hsUse GHC generics for NFData instances Completion.hsTweak for stylish-haskell Coverage.hsMove extensions into source files DSL.hsAdd do-rewrite DataOpts.hsMove extensions into source files DeepSeq.hsFix compatibility with cheapskate-0.1.1 Delaborate.hsFix typo in effects tutorial Directives.hsAlphabetize and indent imports and LANGUAGE pragmas Docs.hsRefactoring: Move options out of AbsSyntax Docstrings.hsMove extensions into source files ElabDecls.hsRefactoring: Move options out of AbsSyntax Erasure.hsAdd a comment. ErrReverse.hsMake stylish-haskell happy Error.hsAdd do-rewrite Help.hsAdd :! for running shell commands from the REPL IBC.hsPrevent private functions showing up in autocomplete and :t. IdeMode.hsSupport presentations of abstract names in output IdrisDoc.hsMerge pull request #3847 from be5invis/be5invis-do-rewrite Imports.hsPrefer to load imports from the current package Info.hsRefactoring: Move options out of AbsSyntax Inliner.hsAlphabetize and indent imports and LANGUAGE pragmas Interactive.hsAdd function for strictly reading source Main.hsRefactoring: Move options out of AbsSyntax ModeCommon.hsPrevent private functions showing up in autocomplete and :t. Options.hsRefactoring: Move options out of AbsSyntax Output.hsRevert "Fix #4020: Fix duplication in output of `--hightlight`." Package.hsRefactoring: Move options out of AbsSyntax Parser.hsPrevent private functions showing up in autocomplete and :t. PartialEval.hsMove extensions into source files Primitives.hsMore lenient casting from string to number ProofSearch.hsAdd 'RigCount' to Pi and PVar Prover.hsMerge pull request #3847 from be5invis/be5invis-do-rewrite Providers.hsAlphabetize and indent imports and LANGUAGE pragmas REPL.hsPrevent private functions showing up in autocomplete and :t. Reflection.hsDrop support for GHC <= 7.10.3 Termination.hsRefactoring: Move options out of AbsSyntax Transforms.hsAdd 'RigCount' to Pi and PVar TypeSearch.hsCheck linearity of functions Unlit.hsFix lidr compiler message position WhoCalls.hsAlphabetize and indent imports and LANGUAGE pragmas