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

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

(limited to 'plt/pragmatics.md')

diff --git a/plt/pragmatics.md b/plt/pragmatics.md
new file mode 100644
index 0000000..54c413f
--- /dev/null
+++ b/plt/pragmatics.md
@@ -0,0 +1,12 @@
+---
+layout: plt
+title: computation/pragmatics
+---
+
+## operational semantics
+
+big-step vs. little-step
+
+## Resources:
+- https://cs.stackexchange.com/questions/43294/difference-between-small-and-big-step-operational-semantics
+- https://langdev.stackexchange.com/questions/3352/how-do-i-formally-define-a-programming-languages-meaning-step-by-step
-- 
cgit v1.2.3-70-g09d2