From 27f0cbf21e01448245d54f7818582c741d8cdafa Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 6 Nov 2023 18:52:17 +0100
Subject: Minor general additions

---
 src/Binary.hs | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/Binary.hs')

diff --git a/src/Binary.hs b/src/Binary.hs
index 3f77d4a..acf20d4 100644
--- a/src/Binary.hs
+++ b/src/Binary.hs
@@ -61,8 +61,6 @@ fromJot = worker . reverse
   k = Function $ NormalFunction "k"
   worker ('0' : xs) = Application (Application (worker xs) s) k
   worker ('1' : xs) = Application s (Application k (worker xs))
-  -- worker ('1' : xs) = Abstraction
-  --   (Abstraction (Application (worker xs) (Application (Bruijn 1) (Bruijn 0))))
   worker _          = Abstraction (Bruijn 0)
 
 
-- 
cgit v1.2.3