Comment by aoki
16 hours ago
In the fine tradition of Nachos and Pintos! (Still waiting on Burritos - which would obviously have to be based on functional programming principles - and Churros.)
16 hours ago
In the fine tradition of Nachos and Pintos! (Still waiting on Burritos - which would obviously have to be based on functional programming principles - and Churros.)
Burritos are just monoids in the category of endotacos.
welp I think I found my favorite comment ever.