From: Evgenii Akentev 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