From 47c1289ff658a5aec71635d79ffe30bb29a07876 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 11 May 2023 19:38:03 +0100
Subject: Add content

---
 content/zettel/3b3.md | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 content/zettel/3b3.md

(limited to 'content/zettel/3b3.md')

diff --git a/content/zettel/3b3.md b/content/zettel/3b3.md
new file mode 100644
index 0000000..c5dfb27
--- /dev/null
+++ b/content/zettel/3b3.md
@@ -0,0 +1,9 @@
++++
+title = "Coq Types"
+author = "Yann Herklotz"
+tags = []
+categories = []
+backlinks = ["3b2"]
+forwardlinks = ["3b4", "3b3a"]
+zettelid = "3b3"
++++
-- 
cgit