hipspec

hipspec copied to clipboard

Hipspec performs worse if there are missing type signatures

1

For example, hipspec cannot prove the prop from [here](https://gist.github.com/sergei-grechanik/8150449) unless the type signature for (++) is uncommented. Judging by the *.mlw files, this is due to redundant apps. The bug...

sergei-grechanik

Everything does not need to be logged to the json file. Add a flag `--json-verbosity` that fixes this.

danr

See where most time is spent and fix it.

danr

danr