From 426d431d03599b65dee1ddffd8923098cbaa79b0 Mon Sep 17 00:00:00 2001
From: JJ
Date: Thu, 23 Nov 2023 16:28:52 -0800
Subject: meow

---
 computation/semantics.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'computation/semantics.md')

diff --git a/computation/semantics.md b/computation/semantics.md
index e3e063a..d854341 100644
--- a/computation/semantics.md
+++ b/computation/semantics.md
@@ -1 +1,3 @@
-# Formal Semantics
+# formal semantics
+
+## denotational semantics
-- 
cgit v1.2.3-70-g09d2