git.iko.soy/Idris-dev
on 1f8db23 help sign in
Idris-dev/src/Idris
6 folders, 47 files
../ Core/Fixed unused imports reported by ghc Elab/Fixed unused imports reported by ghc Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Import Trifecta qualified as P Parser/Import Trifecta qualified as P REPL/Import Trifecta qualified as P ASTUtils.hsClean up unused imports (#4065) AbsSyntax.hsMerge pull request #4095 from asandroq/fix-flag-argument-order AbsSyntaxTree.hsFix LaTeX pretty printing of backslash, braces and percent Apropos.hsLinearTypes extension improvements CaseSplit.hsMove extensions into source files Chaser.hsUnused binds (#4067) CmdOptions.hsFix export lists for CmdOptions and Termination Colours.hsUse GHC generics for NFData instances Completion.hsUnused binds (#4067) Coverage.hsUnused binds (#4067) DSL.hsMerge pull request #4093 from melted/export_lists DataOpts.hsLinearTypes extension improvements DeepSeq.hsClean up unused imports (#4065) Delaborate.hsLinearTypes extension improvements Directives.hsClean up unused imports (#4065) Docs.hsUnused binds (#4067) Docstrings.hsMove extensions into source files ElabDecls.hsMerge pull request #4093 from melted/export_lists Erasure.hsLinearTypes extension improvements ErrReverse.hsUnused binds (#4067) Error.hsMerge pull request #4093 from melted/export_lists Help.hsAdd :! for running shell commands from the REPL IBC.hsIntroduce a PkgName abstraction to represent package name instead of String IdeMode.hsImport Trifecta qualified as P IdrisDoc.hsIdrisDoc, set charset and viewport Imports.hsfix stylize issues Info.hsClean up unused imports (#4065) Inliner.hsLinearTypes extension improvements Interactive.hsLinearTypes extension improvements Main.hsImport Trifecta qualified as P ModeCommon.hsAdd export list to Idris.Output and Idris.ModeCommon Options.hsAdd export list to Idris.Options Output.hsFix LaTeX pretty printing of backslash, braces and percent Package.hsAllow upper case letter in package name and only normalize for equality and on disk Parser.hsImport Trifecta qualified as P PartialEval.hsLinearTypes extension improvements Primitives.hsMake `div` and `mod` behave consistently ProofSearch.hsLinearTypes extension improvements Prover.hsImport Trifecta qualified as P Providers.hsClean up unused imports (#4065) REPL.hsImport Trifecta qualified as P Reflection.hsMerge pull request #4093 from melted/export_lists Termination.hsMerge pull request #4093 from melted/export_lists Transforms.hsClean up unused imports (#4065) TypeSearch.hsAllow upper case letter in package name and only normalize for equality and on disk Unlit.hsFix lidr compiler message position WhoCalls.hsLinearTypes extension improvements