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 220a87f8a6 messing with nix again 2 weeks ago
exe remove src directories 2 months ago
lib some reduction tests & fixes 1 month ago
tests a few more tests 1 month ago
.gitignore nix fixes (nixes) 2 months ago
Makefile shut up about dirty git trees 1 month ago
README.md grtt -> qtt 2 months ago
acsl.txt first 12 months ago
default.nix wip nix 2 months ago
flake.lock messing with nix again 2 weeks ago
flake.nix messing with nix again 2 weeks ago
qtuwu.png first 12 months ago
quox-nat.agda agda fiddling 3 months ago
quox.bib [bib] OTT for good 1 month ago


quantitative observational extensional(ish) type theory

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