Cleanup

diff --git a/src/CEK.hs b/src/CEK.hs
index 6ee5a4331038f7f4d2936d132d2c7ea69e75d68e..4c97c231272f19e4a1d01161f59faad2e20066f4 100644 (file)
--- 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 (file)
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 (file)
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 (file)
index 919d26f..0000000
--- a/src/CS.hs
+++ /dev/null
@@ -1,3 +0,0 @@
-module CS where
-
--- TODO: implement