From 439c5d3ef5fb8b8ebba28d45088d9b91db7418ac Mon Sep 17 00:00:00 2001
From: JJ
Date: Thu, 4 Jan 2024 18:37:28 -0800
Subject: meow

---
 plt/semantics.md | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 plt/semantics.md

(limited to 'plt/semantics.md')

diff --git a/plt/semantics.md b/plt/semantics.md
new file mode 100644
index 0000000..191b61c
--- /dev/null
+++ b/plt/semantics.md
@@ -0,0 +1,8 @@
+---
+layout: plt
+title: computation/semantics
+---
+
+# formal semantics
+
+## denotational semantics
-- 
cgit v1.2.3-70-g09d2