From 4ea55c2108cc0d6cb92153c56958488b1d7ec509 Mon Sep 17 00:00:00 2001
From: Andrew Johnson <andrew@subarctic.org>
Date: Tue, 5 Dec 2023 17:45:18 -0700
Subject: [PATCH] define the first entry-point in the language spec

---
 src/lm.lm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/lm.lm b/src/lm.lm
index 85872cabf..078289726 100644
--- a/src/lm.lm
+++ b/src/lm.lm
@@ -10,3 +10,6 @@ the code and IP as they would like. Please, just be nice.
 LM: The Full Language Definition
 
 */
+
+eval := λx. eval-ctx () x
+eval-ctx := λctx x. ()