../ Core/Fix for GHC 8.2.1 compilation9 years ago Elab/Merge branch 'master' of github.com:idris-lang/Idris-dev9 years ago Info/Alphabetize and indent imports and LANGUAGE pragmas10 years ago Package/Refactoring: Move options out of AbsSyntax9 years ago Parser/Merge pull request #3847 from be5invis/be5invis-do-rewrite9 years ago REPL/Refactoring: Move options out of AbsSyntax9 years ago ASTUtils.hsRefactoring: Move options out of AbsSyntax9 years ago AbsSyntax.hsRefactoring: Move options out of AbsSyntax9 years ago AbsSyntaxTree.hsMerge pull request #3847 from be5invis/be5invis-do-rewrite9 years ago Apropos.hsAdd linear Lam10 years ago CaseSplit.hsIndentation configuration via command line args.10 years ago Chaser.hsAlphabetize and indent imports and LANGUAGE pragmas10 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.hsRemember constants when checking recoverability10 years ago DSL.hsAdd do-rewrite9 years ago DataOpts.hsConstructor saturation fix10 years ago DeepSeq.hsRefactoring: Move options out of AbsSyntax9 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.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago ElabDecls.hsRefactoring: Move options out of AbsSyntax9 years ago Erasure.hsRefactoring: Move options out of AbsSyntax9 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.hsMerge pull request #3847 from be5invis/be5invis-do-rewrite9 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.hsAlphabetize and indent imports and LANGUAGE pragmas10 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.hsRefactoring: Move options out of AbsSyntax9 years ago Package.hsRefactoring: Move options out of AbsSyntax9 years ago Parser.hsImplement shebang handling9 years ago PartialEval.hsMerge pull request #3475 from enolan/stylish-travis10 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.hsRefactoring: Move options out of AbsSyntax9 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