search

obsidiansystems / dependent-map

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

Fix typos #30

Closed alexfmpe closed 4 years ago