git.iko.soy/Idris-dev
on da8d396 help sign in
Idris-dev/src/Idris
1 folder, 36 files
../ Core/Fix for matchProblems AbsSyntax.hsNo need to export primitives as metavariables AbsSyntaxTree.hsStore metavariables in ibc files CaseSplit.hsRemove | annotation, make Force/Delay implicit Chaser.hsParser warnings; especially for invalid doc comments Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt. Completion.hsProver commands for evaluation and typechecking expressions Coverage.hsRemove | annotation, make Force/Delay implicit DSL.hsProper pretty-printing of dependent pairs DataOpts.hsPerformance/compiler temporary hack: %erase DeepSeq.hsProper pretty-printing of dependent pairs Delaborate.hsFix for metavariables in type declarations Docs.hsAdd some indentation to functions in :doc ElabDecls.hsFix parameter name propagation ElabTerm.hsFix non-termination bug in class resolution ErrReverse.hsFix for matchProblems Error.hsReport errors loading files using semantic highlighting Help.hsAutomatically detect console width IBC.hsStore metavariables in ibc files IdeSlave.hsAdd missing output annotation serialization to ideslave Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsActually parse documentation strings ParseExpr.hsMerge pull request #924 from david-christiansen/prover-new-commands ParseHelpers.hsParser warnings; especially for invalid doc comments ParseOps.hsFix for metavariables in type declarations Parser.hsStore metavariables in ibc files PartialEval.hsUse Data.Text for variable names Primitives.hsMove buffer offset handling into idris code ProofSearch.hsProof search fix Prover.hsProver commands for evaluation and typechecking expressions Providers.hsWhitespace cleanup REPL.hsMerge pull request #924 from david-christiansen/prover-new-commands REPLParser.hsAutomatically detect console width Transforms.hsUse Data.Text for variable names Unlit.hsAdd a Cabal library UnusedArgs.hsRemove incorrect case from unused argument trace