git.iko.soy/Idris-dev
on 735fbd2 help sign in
Idris-dev/src/Idris
6 folders, 46 files
../ Core/add a type alias for the TT Declaration as it is getting unwieldy Elab/Stylize fixes Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Alphabetize and indent imports and LANGUAGE pragmas Parser/Merge pull request #3475 from enolan/stylish-travis REPL/Add :! for running shell commands from the REPL ASTUtils.hsMerge pull request #3475 from enolan/stylish-travis AbsSyntax.hsStylize fixes AbsSyntaxTree.hs'case' in interface methods now works Apropos.hsAdd linear Lam CaseSplit.hsIndentation configuration via command line args. Chaser.hsAlphabetize and indent imports and LANGUAGE pragmas CmdOptions.hsIndentation configuration via command line args. Colours.hsUse GHC generics for NFData instances Completion.hsAdd :! for running shell commands from the REPL Coverage.hsFixed unstylized things in Idris and stylize.sh script DSL.hsAlphabetize and indent imports and LANGUAGE pragmas DataOpts.hsAdd linear Lam DeepSeq.hsIndentation configuration via command line args. Delaborate.hsAdd linear Lam Directives.hsAlphabetize and indent imports and LANGUAGE pragmas Docs.hsCollected language PRAGMAs and removed debugging comments Docstrings.hsAlphabetize and indent imports and LANGUAGE pragmas ElabDecls.hs'case' in interface methods now works Erasure.hsAdd linear Lam ErrReverse.hsAdd linear Lam Error.hsCheck linear types in binders are valid Help.hsAdd :! for running shell commands from the REPL 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.hsCollected language PRAGMAs and removed debugging comments Main.hsIndentation configuration via command line args. 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.hsMerge pull request #3475 from enolan/stylish-travis 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.hsDisable :! in IDE mode Reflection.hsCheck for linearity of constructors Termination.hsFixed unstylized things in Idris and stylize.sh script 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