search

conal / total-map

Finitely represented /total/ maps
Other
15 stars 6 forks source link

fromPartial: canonical construction of total maps #4

Closed thielema closed 8 years ago

conal commented 8 years ago

There were merge conflicts, so I copied in the change manually.

Thanks for the patches!