quantitative extensional type theory

Go to file

rhiannon morris 756fc60030 wip		2023-07-16 22:17:21 +02:00
examples	wip maybe.quox	2023-06-23 18:32:17 +02:00
exe	rewrite pretty printer	2023-05-15 17:13:14 +02:00
lib	wip	2023-07-16 22:17:21 +02:00
tests	squash warnings	2023-06-23 18:32:05 +02:00
.gitignore	nix fixes (nixes)	2022-05-06 20:27:45 +02:00
README.md	the "observational" here doesn't really say anything new	2023-03-10 23:42:39 +01:00
acsl.txt	first	2021-07-07 13:23:25 +02:00
pack.toml	pack bump	2023-06-23 18:14:40 +02:00
qtuwu.png	first	2021-07-07 13:23:25 +02:00
quox.bib	add egtbs to bib	2023-06-23 18:32:17 +02:00
syntax.ebnf	crude but effective stratification	2023-05-21 20:34:05 +02:00

quantitative extensional(ish) type theory

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