repos / machines.hs.git

commit
b9b902e
parent
fd5db40
author
Evgenii Akentev
date
2024-09-06 11:54:40 +0400 +04
Cleanup
4 files changed,  +1, -11
M src/CEK.hs
D src/CESK.hs
D src/CK.hs
D src/CS.hs
M src/CEK.hs
+1, -0 
1@@ -2,6 +2,7 @@ module CEK where
2 
3 -- https://en.wikipedia.org/wiki/CEK_Machine
4 -- https://legacy.cs.indiana.edu/ftp/techreports/TR202.pdf
5+-- https://cstheory.stackexchange.com/a/41257
6 
7 -- i'm fine with the defunctionalized version
8
D src/CESK.hs
+0, -5 
1@@ -1,5 +0,0 @@
2-module CESK where
3-
4--- https://cstheory.stackexchange.com/a/41257
5-
6--- TODO: implement
D src/CK.hs
+0, -3 
1@@ -1,3 +0,0 @@
2-module CK where
3-
4--- TODO: implement
D src/CS.hs
+0, -3 
1@@ -1,3 +0,0 @@
2-module CS where
3-
4--- TODO: implement