search

obsidiansystems / dependent-map

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

Re-export '==>' #28

Closed alexfmpe closed 4 years ago

3noch commented 4 years ago

We no longer re-export anything.