git.iko.soy/Idris-dev
on dc4ce0c help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Replace the string-slinging show with pretty-print AbsSyntax.hsReplace the string-slinging show with pretty-print AbsSyntaxTree.hsReplace the string-slinging show with pretty-print CaseSplit.hsReplace the string-slinging show with pretty-print Chaser.hsCatch import errors in the right place Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt. Completion.hsUse Data.Text for variable names Coverage.hsReplace the string-slinging show with pretty-print DSL.hsA simpler approach to handling name shadowing DataOpts.hsPerformance/compiler temporary hack: %erase DeepSeq.hsMinor memory usage improvements Delaborate.hsReplace the string-slinging show with pretty-print Docs.hsUse Data.Text for variable names ElabDecls.hsReplace the string-slinging show with pretty-print ElabTerm.hsFix typo that led to unification bug Error.hsStrictness annotations Help.hsSupport for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPL IBC.hsMerge branch 'text-names' IdeSlave.hsMerge branch 'master' into cabal-library Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsPerformance/compiler temporary hack: %erase ParseExpr.hsPerformance/compiler temporary hack: %erase ParseHelpers.hsUse Data.Text for variable names ParseOps.hsMake $ built in operation, rename ($) to apply Parser.hsReplace the string-slinging show with pretty-print PartialEval.hsUse Data.Text for variable names Primitives.hsUse Data.Text for variable names ProofSearch.hsAdd a Cabal library Prover.hsColouring support in the prover Providers.hsUse Data.Text for variable names REPL.hsReplace the string-slinging show with pretty-print REPLParser.hsAllow querying the registered error handlers Transforms.hsUse Data.Text for variable names Unlit.hsAdd a Cabal library UnusedArgs.hsRemove incorrect case from unused argument trace