search

duplode / duplode.github.io

The Life Monadic, duplode's programming blog.
https://duplode.github.io
Other
5 stars 5 forks source link

Every Distributive is Representable #17

Open duplode opened 2 years ago

duplode commented 2 years ago

Comment thread for Every Distributive is Representable.