git.iko.soy/Idris-dev
on bbefa33 help sign in
Idris-dev/src/Idris
6 folders, 47 files
../ Core/Remove unused Core.TT.vinstances Elab/Fixed unused imports reported by ghc Info/Alphabetize and indent imports and LANGUAGE pragmas Package/WIP Parser/Fixes for error formatting REPL/WIP 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.hsConvert IdeMode.hs to use megaparsec 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.hsReexport parseErrorDoc from Idris.Parser 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.hsWIP PartialEval.hsLinearTypes extension improvements Primitives.hsMake `div` and `mod` behave consistently ProofSearch.hsLinearTypes extension improvements Prover.hsReexport parseErrorDoc from Idris.Parser Providers.hsClean up unused imports (#4065) REPL.hsReexport parseErrorDoc from Idris.Parser 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