From c179b1845592e7a13cc654d8fdeb42a7754d0ae1 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Sat, 24 Dec 2022 02:09:20 +0100
Subject: [PATCH] another thing I'd like to write sometime

---
 _drafts/not-all-equalities-are-made-equal.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 _drafts/not-all-equalities-are-made-equal.md

diff --git a/_drafts/not-all-equalities-are-made-equal.md b/_drafts/not-all-equalities-are-made-equal.md
new file mode 100644
index 0000000..38b4f69
--- /dev/null
+++ b/_drafts/not-all-equalities-are-made-equal.md
@@ -0,0 +1,12 @@
+---
+layout: post
+title: "Not all equalities are made equal"
+---
+
+UIP, martin hoffmann, groupoid model...
+
+<!--more-->
+
+{% katexmm %}
+
+{% endkatexmm %}