Are vegans vegetarians? and related questions

Posted on Sun 28 April 2024 in Software • Tagged with logic, type-theory