../ Core/Revert to normalising from WHNF10 years ago Elab/Revert to normalising from WHNF10 years ago Info/Alphabetize and indent imports and LANGUAGE pragmas10 years ago Package/Alphabetize and indent imports and LANGUAGE pragmas10 years ago Parser/Merge pull request #3475 from enolan/stylish-travis10 years ago REPL/Add :! for running shell commands from the REPL10 years ago ASTUtils.hsMerge pull request #3475 from enolan/stylish-travis10 years ago AbsSyntax.hs%error_reduce for more control over errors10 years ago AbsSyntaxTree.hsMake partial evaluator off by default10 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.hsIndentation configuration via command line args.10 years ago Colours.hsUse GHC generics for NFData instances10 years ago Completion.hsAdd :! for running shell commands from the REPL10 years ago Coverage.hsFixed unstylized things in Idris and stylize.sh script10 years ago DSL.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago DataOpts.hsAdd linear Lam10 years ago DeepSeq.hsIndentation configuration via command line args.10 years ago Delaborate.hsAdd linear Lam10 years ago Directives.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Docs.hsCollected language PRAGMAs and removed debugging comments10 years ago Docstrings.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago ElabDecls.hsRevert to normalising from WHNF10 years ago Erasure.hsAdd linear Lam10 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.hsDeal with interfaces in totality differently10 years ago IdeMode.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago IdrisDoc.hsFix the build with most recent blaze-markup (0.8)10 years ago Imports.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Info.hsMake fetching of data files more robust. Fixes #354410 years ago Inliner.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Interactive.hsCollected language PRAGMAs and removed debugging comments10 years ago Main.hsRun Idris in a UTF-8-compatible codepage on Windows10 years ago ModeCommon.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Output.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Package.hsImproved User facing progress reporting.10 years ago Parser.hsDeal with interfaces in totality differently10 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.hsAdd RigCount to environment10 years ago Providers.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago REPL.hsDisable :! in IDE mode10 years ago Reflection.hsCheck for linearity of constructors10 years ago Termination.hsDeal with interfaces in totality differently10 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