search

obsidiansystems / dependent-map

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

Stop re-exporting #41

Closed 3noch closed 4 years ago