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.)
I'd just like to interject for a moment. What you're refering to as Burritos, is in fact, GNU/Burritos, or as I've recently taken to calling it, GNU plus Burritos. Burritos is not an operating system unto itself, but rather another free component of a fully functioning GNU system made useful by the GNU corelibs, shell utilities and vital system components comprising a full OS as defined by POSIX.
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.
I'd just like to interject for a moment. What you're refering to as Burritos, is in fact, GNU/Burritos, or as I've recently taken to calling it, GNU plus Burritos. Burritos is not an operating system unto itself, but rather another free component of a fully functioning GNU system made useful by the GNU corelibs, shell utilities and vital system components comprising a full OS as defined by POSIX.
welp I think I found my favorite comment ever.