Release v7.0.0: Merge pull request #42 from joneshf/fix-record-based-set-operations · joneshf/purescript-option · GitHub

v7.0.0
ee3090d
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode
Compare

Choose a tag to compare

View all tags

v7.0.0: Merge pull request #42 from joneshf/fix-record-based-set-operations

v7.0.0
ee3090d
Compare

Choose a tag to compare

View all tags
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode

joneshf tagged this 26 Jan 17:47

Fix behavior of `Option.set'`/`Option.recordSet`

Assets 2

Source code (zip)

2021-01-26T17:47:55Z
Source code (tar.gz)

2021-01-26T17:47:55Z