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.
32 Commits
1 Branch
0 Tags
114 KiB
 
 
Branch: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
rhiannon morris 2b1a043280
beginnings of typechecker, maybe 		3 weeks ago
src beginnings of typechecker, maybe 3 weeks ago
.gitignore first 3 months ago
README.md first 3 months ago
acsl.txt first 3 months ago
qtuwu.png first 3 months ago
quox.bib add more bib entries 3 weeks ago
quox.ipkg some syntax stuff 1 month 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 ↩︎