git.iko.soy/Idris-dev
on 47cd264 help sign in
Idris-dev/src/Idris
1 folder, 36 files
../ Core/Merge pull request #942 from ziman/instance-ctors AbsSyntax.hsPropagate parameters to records AbsSyntaxTree.hsPropagate function name to tactics 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.hsPropagate parameters to records Coverage.hsRemove | annotation, make Force/Delay implicit DSL.hsProper pretty-printing of dependent pairs DataOpts.hsPerformance/compiler temporary hack: %erase DeepSeq.hsPropagate function name to tactics Delaborate.hsFix for metavariables in type declarations Docs.hsAdd some indentation to functions in :doc ElabDecls.hsAdd a special name for instance constructors. ElabTerm.hsPropagate function name to tactics ErrReverse.hsFix for matchProblems Error.hsReport errors loading files using semantic highlighting Help.hsAutomatically detect console width IBC.hsMerge pull request #942 from ziman/instance-ctors IdeSlave.hsAdd missing output annotation serialization to ideslave Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsActually parse documentation strings ParseExpr.hsAdd ManagedPtr type ParseHelpers.hsParser warnings; especially for invalid doc comments ParseOps.hsFix for metavariables in type declarations Parser.hsMerge pull request #937 from david-christiansen/postulate-providers PartialEval.hsUse Data.Text for variable names Primitives.hsAdd ManagedPtr type ProofSearch.hsProof search fix Prover.hsPropagate function name to tactics Providers.hsPostulate providers REPL.hsPropagate function name to tactics 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