« Changelog History


patch v0.0.3.0 Release Notes

Release Date: 2020-02-05 // about 4 years ago

    • 🚚 Create PatchMapWithPatchingMove variant which supports moves with a patch.

    • Create DecidablyEmpty subclass of Monoid.