rhi
/
quox
1
0
Fork 0
Code Issues 14 Pull Requests 2 Releases Wiki Activity
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.
463 Commits
6 Branches
0 Tags
3.7 MiB
 
 
Branch: 🐉
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '🐉'
${ noResults }
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