git.iko.soy/Idris-dev
on 419b35c help sign in
Idris-dev/src/Idris
1 folder, 36 files
../ Core/Fix for name shadowing in evaluator AbsSyntax.hsNew syntax for documentation comments AbsSyntaxTree.hsAdded span in parser state CaseSplit.hsNew syntax for documentation comments 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.hsNew syntax for documentation comments DSL.hsProper pretty-printing of dependent pairs DataOpts.hsPerformance/compiler temporary hack: %erase DeepSeq.hsNew syntax for documentation comments Delaborate.hsNew syntax for documentation comments Docs.hsNew syntax for documentation comments ElabDecls.hsMerge pull request #945 from david-christiansen/new-docs ElabTerm.hsNew syntax for documentation comments ErrReverse.hsFix for matchProblems Error.hsReport errors loading files using semantic highlighting Help.hsAutomatically detect console width IBC.hsMerge pull request #945 from david-christiansen/new-docs IdeSlave.hsAdd missing output annotation serialization to ideslave Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsNew syntax for documentation comments ParseExpr.hsNew syntax for documentation comments ParseHelpers.hsAdded span in parser state ParseOps.hsTreat (=) as a special function name. Includes a regression test. Parser.hsNew syntax for documentation comments PartialEval.hsNew syntax for documentation comments Primitives.hsAdd ManagedPtr type ProofSearch.hsNew syntax for documentation comments Prover.hsPropagate function name to tactics Providers.hsNew syntax for documentation comments 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