Are vegans vegetarians? and related questions
Posted on Sun 28 April 2024 in Software • Tagged with logic, type-theory
I recently asked the following questions:
Assuming all other requirements are the same:
- Is a vegan a vegetarian?
- Is a vegetarian a vegan?
To my (somewhat) surprise, this drew quite a lot of interest from colleagues, friends, and even people on Facebook I hadn't talked to for years, with lots …
Continue reading