Garrett Mills
Blog
Home
Main Site
Archive
Tags
Feeds
#theory
2022-12-09
Generalized Commutative Data-Types