From cd63eb2c67716e76e46ab035b83257ad0918c030 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Fri, 10 Mar 2023 23:42:35 +0100 Subject: [PATCH] the "observational" here doesn't really say anything new --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 149d3ca..917b846 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# ![](qtuwu.png) quantitative observational extensional(ish) type theory +# ![](qtuwu.png) quantitative extensional(ish) type theory hey what would happen if some idiot tried to weld qtt and xtt together? let's find out together