rhi
/
quox
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
51 Commits
1 Branch
0 Tags
99 KiB
 
 
Branch: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
rhiannon morris 88338050fc
start of type stuff 		4 weeks ago
src start of type stuff 4 weeks ago
.gitignore first 7 months ago
README.md first 7 months ago
acsl.txt first 7 months ago
qtuwu.png first 7 months ago
quox.bib add more bib entries 4 months ago
quox.ipkg some syntax stuff 5 months ago

README.md

quantitative observational extensional(ish) type theory

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

  1. actually grtt but wtf is a grox ↩︎