git.iko.soy/Idris-dev
on 2a68244 help sign in
Idris-dev/src/Idris
6 folders, 46 files
../ Core/Check linear types in binders are valid Elab/Check linear types in binders are valid Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Alphabetize and indent imports and LANGUAGE pragmas Parser/Add RigCount to pattern bindings REPL/Improved User facing progress reporting. ASTUtils.hsCheck linearity of functions AbsSyntax.hsAdd RigCount to PPi/Plicity AbsSyntaxTree.hsAdd linear Lam Apropos.hsAdd linear Lam CaseSplit.hsAdd RigCount to PPi/Plicity Chaser.hsAlphabetize and indent imports and LANGUAGE pragmas CmdOptions.hsImproved User facing progress reporting. Colours.hsUse GHC generics for NFData instances Completion.hsAlphabetize and indent imports and LANGUAGE pragmas Coverage.hsDeal with bound variables in recoverableCoverage DSL.hsAlphabetize and indent imports and LANGUAGE pragmas DataOpts.hsAdd linear Lam DeepSeq.hsAlphabetize and indent imports and LANGUAGE pragmas Delaborate.hsAdd linear Lam Directives.hsAlphabetize and indent imports and LANGUAGE pragmas Docs.hsAdd RigCount to PPi/Plicity Docstrings.hsAlphabetize and indent imports and LANGUAGE pragmas ElabDecls.hsAdd 'RigCount' to Pi and PVar Erasure.hsAdd linear Lam ErrReverse.hsAdd linear Lam Error.hsCheck linear types in binders are valid Help.hsAdded documentation for modules. IBC.hsCheck linearity of functions IdeMode.hsAlphabetize and indent imports and LANGUAGE pragmas IdrisDoc.hsMake fetching of data files more robust. Fixes #3544 Imports.hsAlphabetize and indent imports and LANGUAGE pragmas Info.hsMake fetching of data files more robust. Fixes #3544 Inliner.hsAlphabetize and indent imports and LANGUAGE pragmas Interactive.hsAdd 'RigCount' to Pi and PVar Main.hsImproved User facing progress reporting. ModeCommon.hsAlphabetize and indent imports and LANGUAGE pragmas Output.hsAlphabetize and indent imports and LANGUAGE pragmas Package.hsImproved User facing progress reporting. Parser.hsSyntax for linear arguments PartialEval.hsAdd 'RigCount' to Pi and PVar Primitives.hsMore lenient casting from string to number ProofSearch.hsAdd 'RigCount' to Pi and PVar Prover.hsAdd RigCount to environment Providers.hsAlphabetize and indent imports and LANGUAGE pragmas REPL.hsUse same format in IDE mode for hole types as REPL Reflection.hsCheck for linearity of constructors Termination.hsCheck for linearity of constructors Transforms.hsAdd 'RigCount' to Pi and PVar TypeSearch.hsCheck linearity of functions Unlit.hsFix lidr compiler message position WhoCalls.hsAlphabetize and indent imports and LANGUAGE pragmas