git.iko.soy/type-level-sets
on master help sign in
type-level-sets/changelog.md
5 lines 108 B history raw
1 # v0.8.9.0
3 - GHC 8.4 and 8.6 support.
4 - Fixed bug in the delete operation.
5 - Non-membership predicates