lumberjack v220.127.116.11 Release NotesRelease Date: 2021-06-27 // over 1 year 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 v18.104.22.168
No longer Beta, so major version is now 1.0, although functionality has not changed other than the addition of the
|#convenience infix operator.