git.iko.soy/Idris-dev
on ea65347 help sign in
Idris-dev/src/Idris
6 folders, 46 files
../ Core/Fix for evaluation of partial things at the REPL Elab/[Issue 3774] Have :exec print the value of IO _ expressions Info/Alphabetize and indent imports and LANGUAGE pragmas Package/Add check for ipkg existence and correct extension. Parser/Fix for implicits in records REPL/Add :! for running shell commands from the REPL ASTUtils.hsMerge pull request #3475 from enolan/stylish-travis AbsSyntax.hsFix disambiguation on LHS AbsSyntaxTree.hsFix delab of scoped implicits Apropos.hsAdd linear Lam CaseSplit.hsIndentation configuration via command line args. Chaser.hsAlphabetize and indent imports and LANGUAGE pragmas CmdOptions.hsWhen asked Idris will 'audit' Idris projects. Colours.hsUse GHC generics for NFData instances Completion.hsAdd :! for running shell commands from the REPL Coverage.hsRemember constants when checking recoverability DSL.hsCareful when expanding dsl notation DataOpts.hsConstructor saturation fix DeepSeq.hsIndentation configuration via command line args. Delaborate.hsFix typo in effects tutorial 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.hsSupport interfaces in mutual blocks 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.hsReduce logging at level 1 IdeMode.hsSupport presentations of abstract names in output 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.hsAdd function for strictly reading source Main.hsUpdated CHANGELOG and tests. ModeCommon.hsAlphabetize and indent imports and LANGUAGE pragmas Output.hsUpdated CHANGELOG and tests. Package.hsAllowed `--highlight` in pkg commands. Parser.hsDeal with interfaces in totality differently 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.hsSupport presentations of abstract names in output Reflection.hsCheck for linearity of constructors Termination.hsPay attention to 'Force' in totality checking 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