From: Evgenii Akentev <hi@ak3n.com>
Date: Fri, 6 Sep 2024 07:54:40 +0000 (+0400)
Subject: Cleanup
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=b9b902ee268705d846432513f2bb404766ac5323;p=machines.hs.git

Cleanup
---

diff --git a/src/CEK.hs b/src/CEK.hs
index 6ee5a43..4c97c23 100644
--- a/src/CEK.hs
+++ b/src/CEK.hs
@@ -2,6 +2,7 @@ module CEK where
 
 -- https://en.wikipedia.org/wiki/CEK_Machine
 -- https://legacy.cs.indiana.edu/ftp/techreports/TR202.pdf
+-- https://cstheory.stackexchange.com/a/41257
 
 -- i'm fine with the defunctionalized version
 
diff --git a/src/CESK.hs b/src/CESK.hs
deleted file mode 100644
index 7839227..0000000
--- a/src/CESK.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-module CESK where
-
--- https://cstheory.stackexchange.com/a/41257
-
--- TODO: implement
diff --git a/src/CK.hs b/src/CK.hs
deleted file mode 100644
index 38b2948..0000000
--- a/src/CK.hs
+++ /dev/null
@@ -1,3 +0,0 @@
-module CK where
-
--- TODO: implement
diff --git a/src/CS.hs b/src/CS.hs
deleted file mode 100644
index 919d26f..0000000
--- a/src/CS.hs
+++ /dev/null
@@ -1,3 +0,0 @@
-module CS where
-
--- TODO: implement