# Revision history for predicate-transformers

## 0.9.0.0 -- 2024-07-21

* Add instance Predicatory (e -> a). This will allow for adding extra
  parameters to predicates, making it easier to compose them; maybe
  these are called "functional predicates".
* Added traceFailFun. This version of traceFail works on functional
  predicates.
* Tupling sugar renamed from ==> to :=>, to allow i to be a pattern synonym.
* Minor code style changes.

## 0.1.0.0 -- 2019-10-05

* First version. Released on an unsuspecting world.