lumberjack v1.0.0.1 Release Notes
Release Date: 2021-06-27 // over 3 years ago-
- Fix issue #2: use eta expansion example to avoid loss of deep skolemisation support under the simplified subsumption rules in GHC 9 [thanks to Felix Yan for the report].
Previous changes from v1.0.0.0
-
No longer Beta, so major version is now 1.0, although functionality has not changed other than the addition of the
|#operator.Added the
|#convenience infix operator.