From 4352cbc9df36c1c84bba51ce51a69be7a009d264 Mon Sep 17 00:00:00 2001
From: JJ
Date: Sat, 25 Nov 2023 15:06:19 -0800
Subject: meow

---
 computation/semantics.md | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'computation/semantics.md')

diff --git a/computation/semantics.md b/computation/semantics.md
index d854341..410d0ef 100644
--- a/computation/semantics.md
+++ b/computation/semantics.md
@@ -1,3 +1,8 @@
+---
+layout: computation
+title: computation/semantics
+---
+
 # formal semantics
 
 ## denotational semantics
-- 
cgit v1.2.3-70-g09d2