search

obsidiansystems / dependent-map

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

Fix warnings #32

Closed Ericson2314 closed 4 years ago

3noch commented 4 years ago

This was resolved in #39