[ANN] Project:M36 v0.9.5 now available

8 views
Skip to first unread message

A.M.

unread,
Aug 21, 2022, 12:03:32 PM8/21/22
to proje...@googlegroups.com
Hello List,

Project:M36 v0.9.5 is now available. The most important change is the
addition of support for GHC 9.0 and GHC 9.2!

Changelog:

* removed necessity for caret "^" when using boolean atom expressions in
restriction predicates
* `True` and `False` are now value constructors for `Bool` atom values
(previously `t` and `f); changed for better discoverability by Haskell
developers
* add `Scientific` data type for arbitrary-precision values (backed by
Data.Scientific)
* add support for GHC 9.0 and GHC 9.2
* drop support for GHC < 8.10.7
* fix relational equality when the relation includes a nested relation

Enjoy!

Cheers,
M
OpenPGP_signature
Reply all
Reply to author
Forward
0 new messages