repos / machines.hs.git

commit
fd04588
parent
b9b902e
author
Evgenii Akentev
date
2024-09-06 11:56:54 +0400 +04
Add Abstract and Virtual sections
7 files changed,  +12, -9
M machines.cabal
R src/Abstract/CEK.hs
R src/Abstract/EC.hs
R src/Abstract/Krivine.hs
R src/Abstract/SE.hs
R src/Abstract/SEC.hs
R src/Abstract/SECD.hs
M machines.cabal
+6, -3 
 1@@ -12,9 +12,12 @@ common warnings
 2 
 3 library
 4     import:           warnings
 5-    exposed-modules:  Krivine,
 6-                      CEK,
 7-                      SECD, SEC, SE, EC
 8+    exposed-modules:  Abstract.Krivine,
 9+                      Abstract.CEK,
10+                      Abstract.SECD,
11+                      Abstract.SEC,
12+                      Abstract.SE,
13+                      Abstract.EC
14     build-depends:    base ^>=4.18.2.1
15     hs-source-dirs:   src
16     default-language: Haskell2010
R src/CEK.hs => src/Abstract/CEK.hs
+1, -1 
1@@ -1,4 +1,4 @@
2-module CEK where
3+module Abstract.CEK where
4 
5 -- https://en.wikipedia.org/wiki/CEK_Machine
6 -- https://legacy.cs.indiana.edu/ftp/techreports/TR202.pdf
R src/EC.hs => src/Abstract/EC.hs
+1, -1 
1@@ -1,4 +1,4 @@
2-module EC where
3+module Abstract.EC where
4 
5 -- https://www.brics.dk/RS/03/33/BRICS-RS-03-33.pdf
6
R src/Krivine.hs => src/Abstract/Krivine.hs
+1, -1 
1@@ -1,4 +1,4 @@
2-module Krivine where
3+module Abstract.Krivine where
4 
5 
6 -- https://www.pls-lab.org/en/Krivine_machine
R src/SE.hs => src/Abstract/SE.hs
+1, -1 
1@@ -1,4 +1,4 @@
2-module SE where
3+module Abstract.SE where
4 
5 -- https://www.brics.dk/RS/03/33/BRICS-RS-03-33.pdf
6
R src/SEC.hs => src/Abstract/SEC.hs
+1, -1 
1@@ -1,4 +1,4 @@
2-module SEC where
3+module Abstract.SEC where
4 
5 -- https://www.brics.dk/RS/03/33/BRICS-RS-03-33.pdf
6
R src/SECD.hs => src/Abstract/SECD.hs
+1, -1 
1@@ -1,4 +1,4 @@
2-module SECD where
3+module Abstract.SECD where
4 
5 -- https://en.wikipedia.org/wiki/SECD_machine
6 -- https://www.brics.dk/RS/03/33/BRICS-RS-03-33.pdf