../ Core/Fix for name shadowing in evaluator13 years ago AbsSyntax.hsAllow users to disable the auto-solve in the prover13 years ago AbsSyntaxTree.hsMerge pull request #958 from david-christiansen/reflection-reflection13 years ago CaseSplit.hsNew syntax for documentation comments13 years ago Chaser.hsParser warnings; especially for invalid doc comments13 years ago Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt.13 years ago Completion.hsAllow users to disable the auto-solve in the prover13 years ago Coverage.hsNew syntax for documentation comments13 years ago DSL.hsSyntax for failures in pattern matching let/<-13 years ago DataOpts.hsPerformance/compiler temporary hack: %erase13 years ago DeepSeq.hsSyntax for failures in pattern matching let/<-13 years ago Delaborate.hsPretty printing fix13 years ago Docs.hsNew syntax for documentation comments13 years ago ElabDecls.hsSkip unnecessary coverage checking13 years ago ElabTerm.hsAdd support for reflecting ByReflection13 years ago ErrReverse.hsFix for matchProblems13 years ago Error.hsReport errors loading files using semantic highlighting13 years ago Help.hsAutomatically detect console width13 years ago IBC.hsSyntax for failures in pattern matching let/<-13 years ago IdeSlave.hsAdd missing output annotation serialization to ideslave13 years ago Imports.hsStrictness annotations13 years ago Inliner.hsAdd a Cabal library13 years ago ParseData.hsNew syntax for documentation comments13 years ago ParseExpr.hsSyntax for failures in pattern matching let/<-13 years ago ParseHelpers.hsMerge pull request #946 from trofi/master13 years ago ParseOps.hsTreat (=) as a special function name. Includes a regression test.13 years ago Parser.hsNew syntax for documentation comments13 years ago PartialEval.hsNew syntax for documentation comments13 years ago Primitives.hsAdd ManagedPtr type13 years ago ProofSearch.hsNew syntax for documentation comments13 years ago Prover.hsAllow users to disable the auto-solve in the prover13 years ago Providers.hsNew syntax for documentation comments13 years ago REPL.hsAllow users to disable the auto-solve in the prover13 years ago REPLParser.hsAllow users to disable the auto-solve in the prover13 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