search

obsidiansystems / dependent-map

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

Trim line endings #29

Closed alexfmpe closed 4 years ago

3noch commented 4 years ago

This was done in #39