quox/README.md

# ![](qtuwu.png) quantitative extensional(ish) type theory

hey what would happen if some idiot tried to weld qtt and xtt together?
let's find out together
the "observational" here doesn't really say anything new 2023-03-10 17:42:35 -05:00			`# ![](qtuwu.png) quantitative extensional(ish) type theory`
first 2021-07-07 07:11:39 -04:00
grtt -> qtt 2022-04-27 15:58:09 -04:00			`hey what would happen if some idiot tried to weld qtt and xtt together?`
first 2021-07-07 07:11:39 -04:00			`let's find out together`