search

conal / total-map

Finitely represented /total/ maps
Other
15 stars 6 forks source link

TotalMap.intersectionPartialWith: Intersect a total map with a partial one using an element combinator. #5

Closed thielema closed 8 years ago