This commit is contained in:
François Pottier 2022-02-04 19:13:03 +01:00
parent 8b71aa423d
commit dab8f14242
1 changed files with 4 additions and 0 deletions

View File

@ -5,6 +5,10 @@
* **Incompatible** changes to the solver's high-level API.
The module `Inferno.SolverHi` has been renamed to `Inferno.Solver`.
The combinators `(^&)`, `map`, `($$)`, and `(^^)` have been removed.
The combinator `construct` has been renamed `shallow`.
The combinator `build` has been renamed `deep`.
The combinator `witness` has been renamed `decode`.
The combinator `instance_` has been removed.
* New functions `pprint` and `print`.
These functions allow printing a constraint.