../ Core/Megaparsec prep (#4164)9 years ago Elab/Fixed unused imports reported by ghc9 years ago Info/Alphabetize and indent imports and LANGUAGE pragmas10 years ago Package/Megaparsec prep (#4164)9 years ago Parser/Megaparsec prep (#4164)9 years ago REPL/Megaparsec prep (#4164)9 years ago ASTUtils.hsClean up unused imports (#4065)9 years ago AbsSyntax.hsMerge pull request #4095 from asandroq/fix-flag-argument-order9 years ago AbsSyntaxTree.hsFix LaTeX pretty printing of backslash, braces and percent9 years ago Apropos.hsLinearTypes extension improvements9 years ago CaseSplit.hsMove extensions into source files9 years ago Chaser.hsUnused binds (#4067)9 years ago CmdOptions.hsFix export lists for CmdOptions and Termination9 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.hsMerge pull request #4093 from melted/export_lists9 years ago DataOpts.hsLinearTypes extension improvements9 years ago DeepSeq.hsClean up unused imports (#4065)9 years ago Delaborate.hsLinearTypes extension improvements9 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.hsMerge pull request #4093 from melted/export_lists9 years ago Erasure.hsLinearTypes extension improvements9 years ago ErrReverse.hsUnused binds (#4067)9 years ago Error.hsMerge pull request #4093 from melted/export_lists9 years ago Help.hsAdd :! for running shell commands from the REPL10 years ago IBC.hsIntroduce a PkgName abstraction to represent package name instead of String9 years ago IdeMode.hsMegaparsec prep (#4164)9 years ago IdrisDoc.hsIdrisDoc, set charset and viewport9 years ago Imports.hsfix stylize issues9 years ago Info.hsClean up unused imports (#4065)9 years ago Inliner.hsLinearTypes extension improvements9 years ago Interactive.hsLinearTypes extension improvements9 years ago Main.hsMegaparsec prep (#4164)9 years ago ModeCommon.hsAdd export list to Idris.Output and Idris.ModeCommon9 years ago Options.hsAdd export list to Idris.Options9 years ago Output.hsFix LaTeX pretty printing of backslash, braces and percent9 years ago Package.hsAllow upper case letter in package name and only normalize for equality and on disk9 years ago Parser.hsMegaparsec prep (#4164)9 years ago PartialEval.hsLinearTypes extension improvements9 years ago Primitives.hsMake `div` and `mod` behave consistently9 years ago ProofSearch.hsLinearTypes extension improvements9 years ago Prover.hsMegaparsec prep (#4164)9 years ago Providers.hsClean up unused imports (#4065)9 years ago REPL.hsMegaparsec prep (#4164)9 years ago Reflection.hsMerge pull request #4093 from melted/export_lists9 years ago Termination.hsMerge pull request #4093 from melted/export_lists9 years ago Transforms.hsClean up unused imports (#4065)9 years ago TypeSearch.hsAllow upper case letter in package name and only normalize for equality and on disk9 years ago Unlit.hsFix lidr compiler message position10 years ago WhoCalls.hsLinearTypes extension improvements9 years ago