../ Core/Merge branch 'master' of Idris-dev into issue37969 years ago Elab/Move extensions into source files9 years ago Info/Alphabetize and indent imports and LANGUAGE pragmas10 years ago Package/Move extensions into source files9 years ago Parser/Move extensions into source files9 years ago REPL/Refactoring: Move options out of AbsSyntax9 years ago ASTUtils.hsRefactoring: Move options out of AbsSyntax9 years ago AbsSyntax.hsPrefer to load imports from the current package9 years ago AbsSyntaxTree.hsMove extensions into source files9 years ago Apropos.hsMove extensions into source files9 years ago CaseSplit.hsMove extensions into source files9 years ago Chaser.hsMove extensions into source files9 years ago CmdOptions.hsMerge pull request #3921 from geigerzaehler/remove-old-ghc9 years ago Colours.hsUse GHC generics for NFData instances10 years ago Completion.hsAdd :! for running shell commands from the REPL10 years ago Coverage.hsMove extensions into source files9 years ago DSL.hsAdd do-rewrite9 years ago DataOpts.hsMove extensions into source files9 years ago DeepSeq.hsFix compatibility with cheapskate-0.1.19 years ago Delaborate.hsFix typo in effects tutorial10 years ago Directives.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Docs.hsRefactoring: Move options out of AbsSyntax9 years ago Docstrings.hsMove extensions into source files9 years ago ElabDecls.hsRefactoring: Move options out of AbsSyntax9 years ago Erasure.hsAdd a comment.9 years ago ErrReverse.hsMake stylish-haskell happy10 years ago Error.hsAdd do-rewrite9 years ago Help.hsAdd :! for running shell commands from the REPL10 years ago IBC.hsPrefer to load imports from the current package9 years ago IdeMode.hsSupport presentations of abstract names in output9 years ago IdrisDoc.hsMerge pull request #3847 from be5invis/be5invis-do-rewrite9 years ago Imports.hsPrefer to load imports from the current package9 years ago Info.hsRefactoring: Move options out of AbsSyntax9 years ago Inliner.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Interactive.hsAdd function for strictly reading source9 years ago Main.hsRefactoring: Move options out of AbsSyntax9 years ago ModeCommon.hsRefactoring: Move options out of AbsSyntax9 years ago Options.hsRefactoring: Move options out of AbsSyntax9 years ago Output.hsMove extensions into source files9 years ago Package.hsRefactoring: Move options out of AbsSyntax9 years ago Parser.hsPrefer to load imports from the current package9 years ago PartialEval.hsMove extensions into source files9 years ago Primitives.hsMore lenient casting from string to number10 years ago ProofSearch.hsAdd 'RigCount' to Pi and PVar10 years ago Prover.hsMerge pull request #3847 from be5invis/be5invis-do-rewrite9 years ago Providers.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago REPL.hsMove extensions into source files9 years ago Reflection.hsDrop support for GHC <= 7.10.39 years ago Termination.hsRefactoring: Move options out of AbsSyntax9 years ago Transforms.hsAdd 'RigCount' to Pi and PVar10 years ago TypeSearch.hsCheck linearity of functions10 years ago Unlit.hsFix lidr compiler message position10 years ago WhoCalls.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago