← Back to context Comment by pkoird 16 hours ago Really really love the name. 3 comments pkoird Reply 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.) khazhoux 15 hours ago Burritos are just monoids in the category of endotacos. Octoth0rpe 14 hours ago welp I think I found my favorite comment ever.
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.) khazhoux 15 hours ago Burritos are just monoids in the category of endotacos. Octoth0rpe 14 hours ago welp I think I found my favorite comment ever.
khazhoux 15 hours ago Burritos are just monoids in the category of endotacos. Octoth0rpe 14 hours ago welp I think I found my favorite comment ever.
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.