This is well known. Type theories also do not assume the law of excluded middle.... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

guerrilla on April 29, 2021 | parent | context | favorite | on: Category theory is a universal modeling language

This is well known. Type theories also do not assume the law of excluded middle. What's your point and it's relevance to the comment?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact