../ Core/Merge remote-tracking branch 'upstream/master' into error-reflection13 years ago AbsSyntax.hsMerge remote-tracking branch 'upstream/master' into error-reflection13 years ago AbsSyntaxTree.hsMerge branch 'master' into error-reflection13 years ago CaseSplit.hsReplace the string-slinging show with pretty-print13 years ago Chaser.hsAdd check for module alias clashes.13 years ago Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt.13 years ago Completion.hsHide original errors upon reflective rewrite13 years ago Coverage.hsMerge remote-tracking branch 'upstream/master' into semantic-pprint13 years ago DSL.hsA simpler approach to handling name shadowing13 years ago DataOpts.hsPerformance/compiler temporary hack: %erase13 years ago DeepSeq.hsAdded %error_reverse annotation13 years ago Delaborate.hsMerge branch 'master' into error-reflection13 years ago Docs.hsUse Data.Text for variable names13 years ago ElabDecls.hsMerge remote-tracking branch 'upstream/master' into error-reflection13 years ago ElabTerm.hsMerge branch 'master' into error-reflection13 years ago ErrReverse.hsAdded %error_reverse annotation13 years ago Error.hsStrictness annotations13 years ago Help.hsSupport for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPL13 years ago IBC.hsMerge remote-tracking branch 'upstream/master' into error-reflection13 years ago IdeSlave.hsSupport semantic highlighting in IDEslave mode13 years ago Imports.hsStrictness annotations13 years ago Inliner.hsAdd a Cabal library13 years ago ParseData.hsAdded %error_reverse annotation13 years ago ParseExpr.hsMerge branch 'master' into error-reflection13 years ago ParseHelpers.hsMerge pull request #797 from jfdm/documentation13 years ago ParseOps.hsMake $ built in operation, rename ($) to apply13 years ago Parser.hsMerge branch 'master' into error-reflection13 years ago PartialEval.hsUse Data.Text for variable names13 years ago Primitives.hsUse Data.Text for variable names13 years ago ProofSearch.hsRestrict error reflection scope to one argument13 years ago Prover.hsColouring support in the prover13 years ago Providers.hsArgument options (instead of just a Bool for lazy)13 years ago REPL.hsMerge remote-tracking branch 'upstream/master' into error-reflection13 years ago REPLParser.hsHide original errors upon reflective rewrite13 years ago Transforms.hsUse Data.Text for variable names13 years ago Unlit.hsAdd a Cabal library13 years ago UnusedArgs.hsRemove incorrect case from unused argument trace13 years ago