quantitative observational extensional type theory
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
rhiannon morris 88338050fc start of type stuff 4 weeks ago
src start of type stuff 4 weeks ago
.gitignore first 7 months ago
README.md first 7 months ago
acsl.txt first 7 months ago
qtuwu.png first 7 months ago
quox.bib add more bib entries 4 months ago
quox.ipkg some syntax stuff 5 months ago


quantitative observational extensional(ish) type theory

hey what would happen if some idiot tried to weld qtt1 and xtt together? let's find out together

  1. actually grtt but wtf is a grox ↩︎