git.iko.soy/Idris-dev
on 3323d0c 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/%error_reduce for more control over errors 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.hs%error_reduce for more control over errors AbsSyntaxTree.hs%error_reduce for more control over errors 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.hsMake stylish-haskell happy Error.hsCheck linear types in binders are valid Help.hsAdd :! for running shell commands from the REPL IBC.hs%error_reduce for more control over errors IdeMode.hsAlphabetize and indent imports and LANGUAGE pragmas IdrisDoc.hsFix the build with most recent blaze-markup (0.8) 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.hsRun Idris in a UTF-8-compatible codepage on Windows ModeCommon.hsAlphabetize and indent imports and LANGUAGE pragmas Output.hsAlphabetize and indent imports and LANGUAGE pragmas Package.hsImproved User facing progress reporting. Parser.hs%error_reduce for more control over errors 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