Skip to content

More flexibility in sets.

Latest
Compare
Choose a tag to compare
@dorchard dorchard released this 11 Jan 11:59
· 12 commits to master since this release
v0.8.7.0

membership predicate for sets, and generalise sets to arbitrary kind