search

conal / total-map

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

no need for language extensions anymore #2

Closed thielema closed 8 years ago