# 0.1.2.0

* Add liquid haskell refinement for `new`.

# 0.1.1.0

* Add liquid haskell refinements.

# 0.0.1.0

* Initial release