Remove default header

Formal-Systems-Laboratory · Nov 21, 2022 · 450ea60 · 450ea60
1 parent aa6832b
commit 450ea60
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/_config.yaml b/_config.yaml
@@ -0,0 +1,6 @@
+name: Matching Logic
+# See: https://github.com/pages-themes/primer/issues/21
+title: null
+
+
+
diff --git a/index.md b/index.md
@@ -1,4 +1,8 @@
-## What is Matching Logic? 
+---
+title: "What is Matching Logic?"
+---
+
+## What is Matching Logic?
 
 ### For programming language semanticists: