define the first entry-point in the language spec

andrew-johnson-4 · Dec 6, 2023 · 4ea55c2 · 4ea55c2
1 parent 6ae80ab
commit 4ea55c2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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. ()