search

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)
Other
63 stars 33 forks source link

Implement filter (fixes #17) #43

Closed tomsmalley closed 4 years ago

3noch commented 4 years ago

Looks like CI is picking up dependent-sum 0.4. I'll have to add a release.nix to this to bring in new enough versions.

3noch commented 4 years ago

Thank you!