git.iko.soy/Idris-dev
on 0ac4f96 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/Make ParseError a newtype Parser/identifiers & reserved without Text.Parsers.Token REPL/Make ParseError a newtype 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.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.hsReexport parseErrorDoc from Idris.Parser 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