git.iko.soy/Idris-dev
on 0875310 help sign in
Idris-dev/src/Idris
1 folder, 36 files
../ Core/Evaluator bug fix AbsSyntax.hsProver commands for evaluation and typechecking expressions AbsSyntaxTree.hsControl whether provider decls accept postulates 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.hsControl whether provider decls accept postulates Delaborate.hsFix for metavariables in type declarations Docs.hsAdd some indentation to functions in :doc ElabDecls.hsControl whether provider decls accept postulates ElabTerm.hsFix non-termination bug in class resolution ErrReverse.hsProof search fix Error.hsReport errors loading files using semantic highlighting Help.hsAutomatically detect console width IBC.hsProper pretty-printing of dependent pairs 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.hsControl whether provider decls accept postulates 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.hsPostulate providers 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