From b9b902ee268705d846432513f2bb404766ac5323 Mon Sep 17 00:00:00 2001 From: Evgenii Akentev Date: Fri, 6 Sep 2024 11:54:40 +0400 Subject: [PATCH] Cleanup --- src/CEK.hs | 1 + src/CESK.hs | 5 ----- src/CK.hs | 3 --- src/CS.hs | 3 --- 4 files changed, 1 insertion(+), 11 deletions(-) delete mode 100644 src/CESK.hs delete mode 100644 src/CK.hs delete mode 100644 src/CS.hs 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 -- 2.34.1