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 0f515252ad some syntax stuff 4 days ago
src some syntax stuff 4 days ago
.gitignore first 2 weeks ago
README.md first 2 weeks ago
acsl.txt first 2 weeks ago
qtuwu.png first 2 weeks ago
quox.ipkg first 2 weeks ago

README.md

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 ↩︎