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 a17752f31c fix up tests 10 hours ago
examples some examples [that don't work yet] 14 hours ago
exe executable that typechecks files!! 14 hours ago
lib fix up tests 10 hours ago
tests fix up tests 10 hours ago
.gitignore nix fixes (nixes) 11 months ago
README.md the "observational" here doesn't really say anything new 3 weeks ago
acsl.txt first 2 years ago
pack.toml bump 6 days ago
qtuwu.png first 2 years ago
quox-nat.agda agda fiddling 12 months ago
quox.bib add a bib entry, update some links 1 month ago


quantitative extensional(ish) type theory

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