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 881b22eee6 %inline 1 month ago
exe remove src directories 7 months ago
lib %inline 1 month ago
tests unfold definitions in equality checking, plus cleanup 3 months ago
.gitignore nix fixes (nixes) 7 months ago
Makefile shut up about dirty git trees 6 months ago
README.md grtt -> qtt 7 months ago
acsl.txt first 1 year ago
default.nix wip nix 7 months ago
flake.lock idris 0.6.0 [with temporary flake fork] 1 month ago
flake.nix idris 0.6.0 [with temporary flake fork] 1 month ago
qtuwu.png first 1 year ago
quox-nat.agda agda fiddling 8 months ago
quox.bib [bib] OTT for good 6 months ago

README.md

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