From 499ced914cdbaf18f3784e63ed32668cd3cfd370 Mon Sep 17 00:00:00 2001
From: Martin Fredin <fredin.martin@gmail.com>
Date: Fri, 20 Jan 2023 14:16:18 +0100
Subject: [PATCH] Fix judgment

---
 src/Interpreter.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Interpreter.hs b/src/Interpreter.hs
index 30bdd54..bdbd8d2 100644
--- a/src/Interpreter.hs
+++ b/src/Interpreter.hs
@@ -62,7 +62,7 @@ eval cxt = \case
   --  γ ⊢ e  ⇓ v
   --  γ ⊢ e₁ ⇓ v₁
   --  ------------------
-  --  γ ⊢ e e₁ ⇓ v
+  --  γ ⊢ e e₁ ⇓ v + v₁
 
   EAdd e e1 -> do
     v <- eval cxt e