../ Core/Fix for evaluation of partial things at the REPL9 years ago Elab/Fixes #1211 : checking default impl in interfaces through parent constraints recursively9 years ago Info/Alphabetize and indent imports and LANGUAGE pragmas10 years ago Package/Refactoring: Move options out of AbsSyntax9 years ago Parser/Refactoring: Move options out of AbsSyntax9 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.hsRefactoring: Move options out of AbsSyntax9 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.hsRefactoring: Move options out of AbsSyntax9 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 recoverability9 years ago DSL.hsCareful when expanding dsl notation10 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.hsCheck linear types in binders are valid10 years ago Help.hsAdd :! for running shell commands from the REPL10 years ago IBC.hsRefactoring: Move options out of AbsSyntax9 years ago IdeMode.hsSupport presentations of abstract names in output9 years ago IdrisDoc.hsRefactoring: Move options out of AbsSyntax9 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.hsRefactoring: Move options out of AbsSyntax9 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.hsRefactoring: Move options out of AbsSyntax9 years ago Providers.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago REPL.hsRefactoring: Move options out of AbsSyntax9 years ago Reflection.hsCheck for linearity of constructors10 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