search

obsidiansystems / dependent-map

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

Add ffor, fforWithKey, traverseWithKey_, forWithKey_, forWithKey for DMap #33

Closed Ericson2314 closed 4 years ago