▲ | aoki 2 days 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 2 days ago | parent [-] | |||||||||||||
Burritos are just monoids in the category of endotacos. | ||||||||||||||
|