issues
search
obsidiansystems
/
dependent-map
Dependently-typed finite maps (partial dependent products)
Other
63
stars
33
forks
source link
Add 'map' and 'traverseWithKey'
#7
Closed
ryantrinkle
closed
8 years ago