c1968edFix parameter spotting in function typesEdwin Brady12 years ago adb59d0Resolve class instances under let bindingsEdwin Brady12 years ago 0a1965eChange 'Not a guess' errorEdwin Brady12 years ago 82753c9Merge pull request #1387 from raichoo/javascriptraichoo12 years ago 8915184javascript: wrap exceptions in functionraichoo12 years ago 6f23501javascript: whitespaceraichoo12 years ago a50224djavascript: factor AST into own moduleraichoo12 years ago f9f43c4Merge pull request #1385 from raichoo/javascriptraichoo12 years ago b669628javascript: switch to Data.Text for code generationraichoo12 years ago 5277735Merge pull request #1383 from david-christiansen/issue/1337David Christiansen12 years ago a430c3eMerge pull request #1382 from david-christiansen/incomplete-quasiquoteDavid Christiansen12 years ago 72cddc6Generate legal names for infix op lemmasDavid Raymond Christiansen12 years ago 90bb76dRemove unused codeDavid Raymond Christiansen12 years ago 9cd2dfbUpdate tests for rechecking of quasiquotesDavid Raymond Christiansen12 years ago d5411e2Recheck quasiquotesDavid Raymond Christiansen12 years ago 29c02f4Fix scope/matching issues in proof scriptsEdwin Brady12 years ago 8ed343bRemove dodgy unification hackEdwin Brady12 years ago b7756f2Merge pull request #1380 from david-christiansen/no-trace-on-withDavid Christiansen12 years ago ec228a0Merge pull request #1377 from puffnfresh/missing-instancesDavid Christiansen12 years ago cfc2386Merge pull request #1379 from david-christiansen/paren-S-patDavid Christiansen12 years ago 1cdd0dfDon't do trace when `with` doesn't matchDavid Raymond Christiansen12 years ago 72f7b58Add parens on generated S patternsDavid Raymond Christiansen12 years ago adba5beAdd Ord instance for BoolBrian McKenna12 years ago 5b723cbMerge pull request #1376 from Melvar/ideslave-letDavid Christiansen12 years ago ab1fbfeAllow :let in ideslaveMelvar Chen12 years ago 330eaa5Merge pull request #1375 from david-christiansen/type-search-in-proverDavid Christiansen12 years ago 7d95becMake type search work in the proverDavid Raymond Christiansen12 years ago 6340534Merge pull request #1371 from david-christiansen/prover-output-colorDavid Christiansen12 years ago c29e746Allow :doc in proverDavid Raymond Christiansen12 years ago e6bec02Fix parameter propagation on CAFsEdwin Brady12 years ago 6c39e35Fix parameter expansion in PEq caseEdwin Brady12 years ago ecc5277Remove commented out codeEdwin Brady12 years ago ecb9da6Support multiple let bindingsEdwin Brady12 years ago 1269791Keep type arguments of = when unelaboratingEdwin Brady12 years ago 3a2c8aaMake prover better at IDESlave protocolDavid Raymond Christiansen12 years ago f0ba64cMerge pull request #1369 from david-christiansen/prover-output-colorEdwin Brady12 years ago f05e088Merge pull request #1368 from Heather/cleanEdwin Brady12 years ago 9af885aHighlight differing implicits in errorsEdwin Brady12 years ago f5c6883Update CHANGELOG for unbound implicitsEdwin Brady12 years ago e336883Highlight prover output for ideslaveDavid Raymond Christiansen12 years ago 24acd05windows executables should end with .exeHeather12 years ago 32d47a5Ensure erasure happens under 'force'Edwin Brady12 years ago 6f6a167No need for 'using' in HVectEdwin Brady12 years ago 505905dRemove some needless 'using' blocksEdwin Brady12 years ago 99ebe20Merge pull request #1364 from puffnfresh/neweffects-bad-constraintsEdwin Brady12 years ago 2d41378Merge pull request #1363 from bmsherman/parseDefEdwin Brady12 years ago 5ffef89Type class resolution fixEdwin Brady12 years ago e363c09Better treatment of unbound implicitsEdwin Brady12 years ago 8279c80Remove bad Applicative constraints from neweffectsBrian McKenna12 years ago fc5a9cbFix parser for :def REPL commandbmsherman12 years ago