quox/README.md

5 lines
170 B
Markdown
Raw Permalink Normal View History

2021-07-07 07:11:39 -04:00
# ![](qtuwu.png) quantitative observational extensional(ish) type theory
2022-04-27 15:58:09 -04:00
hey what would happen if some idiot tried to weld qtt and xtt together?
2021-07-07 07:11:39 -04:00
let's find out together