../ Core/Use default Binary implementation here, too9 years ago Elab/Unused binds (#4067)9 years ago Info/Alphabetize and indent imports and LANGUAGE pragmas10 years ago Package/Clean up unused imports (#4065)9 years ago Parser/Unused binds (#4067)9 years ago REPL/Add export list to Idris.Parser9 years ago ASTUtils.hsClean up unused imports (#4065)9 years ago AbsSyntax.hsPass directives to C backend in given order (#4078)9 years ago AbsSyntaxTree.hsUnused binds (#4067)9 years ago Apropos.hsUnused binds (#4067)9 years ago CaseSplit.hsMove extensions into source files9 years ago Chaser.hsUnused binds (#4067)9 years ago CmdOptions.hsMerge pull request #3921 from geigerzaehler/remove-old-ghc9 years ago Colours.hsUse GHC generics for NFData instances10 years ago Completion.hsUnused binds (#4067)9 years ago Coverage.hsUnused binds (#4067)9 years ago DSL.hsUnused binds (#4067)9 years ago DataOpts.hsClean up unused imports (#4065)9 years ago DeepSeq.hsClean up unused imports (#4065)9 years ago Delaborate.hsUnused binds (#4067)9 years ago Directives.hsClean up unused imports (#4065)9 years ago Docs.hsUnused binds (#4067)9 years ago Docstrings.hsMove extensions into source files9 years ago ElabDecls.hsSmall tweak to inlining9 years ago Erasure.hsUnused binds (#4067)9 years ago ErrReverse.hsUnused binds (#4067)9 years ago Error.hsClean up unused imports (#4065)9 years ago Help.hsAdd :! for running shell commands from the REPL10 years ago IBC.hsLean on default signatures for implementing Binary9 years ago IdeMode.hsUnused binds (#4067)9 years ago IdrisDoc.hsUnused binds (#4067)9 years ago Imports.hsUnused binds (#4067)9 years ago Info.hsClean up unused imports (#4065)9 years ago Inliner.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago Interactive.hsUnused binds (#4067)9 years ago Main.hsRefactoring: Move options out of AbsSyntax9 years ago ModeCommon.hsPrevent private functions showing up in autocomplete and :t.9 years ago Options.hsRefactoring: Move options out of AbsSyntax9 years ago Output.hsClean up unused imports (#4065)9 years ago Package.hsUnused binds (#4067)9 years ago Parser.hsAdd export list to Idris.Parser9 years ago PartialEval.hsUnused binds (#4067)9 years ago Primitives.hsUnused binds (#4067)9 years ago ProofSearch.hsUnused binds (#4067)9 years ago Prover.hsUnused binds (#4067)9 years ago Providers.hsClean up unused imports (#4065)9 years ago REPL.hsMerge branch 'master' into exportiface_js9 years ago Reflection.hsDrop support for GHC <= 7.10.39 years ago Termination.hsUnused binds (#4067)9 years ago Transforms.hsClean up unused imports (#4065)9 years ago TypeSearch.hsUnused binds (#4067)9 years ago Unlit.hsFix lidr compiler message position10 years ago WhoCalls.hsAlphabetize and indent imports and LANGUAGE pragmas10 years ago