quantitative 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 f04c4619ef detect reserved words inside names like 'a.λ.b' 12 hours ago
examples change it to #[..] since # is also reserved 2 days ago
exe pass the subject quantity through equality etc 6 days ago
lib detect reserved words inside names like 'a.λ.b' 12 hours ago
tests detect reserved words inside names like 'a.λ.b' 12 hours ago
.gitignore nix fixes (nixes) 1 year ago
CREDITS.md add CREDITS.md 2 months ago
README.md the "observational" here doesn't really say anything new 7 months ago
acsl.txt first 2 years ago
pack.toml bump pack db 1 week ago
qtuwu.png first 2 years ago
quox.bib granule & defuncn bibs 4 weeks ago
syntax.ebnf make quantities optional and default to 1 2 months ago

README.md

quantitative extensional(ish) type theory

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