Use ListLike

helvm · Sep 7, 2021 · 3c2a6a1 · 3c2a6a1
1 parent d69ee7d
commit 3c2a6a1
Show file tree

Hide file tree

Showing 1,605 changed files with 11,495 additions and 4,553 deletions.
diff --git a/.gitignore b/.gitignore
@@ -19,6 +19,7 @@ cabal.sandbox.config
 .stack-work/
 cabal.project.local
 cabal.project.local~
+cabal.project.local*
 .HTF/
 .ghc.environment.*
 
@@ -35,3 +36,5 @@ _site
 out/
 
 /stan.html
+*.tix
+*.log
diff --git a/.../bf/output/logging/Int16Type/99botles.out → ...s/bf/output/logged/Int16Type/99botles.out b/.../bf/output/logging/Int16Type/99botles.out → ...s/bf/output/logged/Int16Type/99botles.out
diff --git a/...t/logging/Int16Type/fascistHelloWorld.out → ...ut/logged/Int16Type/fascistHelloWorld.out b/...t/logging/Int16Type/fascistHelloWorld.out → ...ut/logged/Int16Type/fascistHelloWorld.out
diff --git a/...f/output/logging/Int16Type/helloWorld.out → ...bf/output/logged/Int16Type/helloWorld.out b/...f/output/logging/Int16Type/helloWorld.out → ...bf/output/logged/Int16Type/helloWorld.out
diff --git a/...gging/Int16Type/theShortestHelloWorld.out → ...ogged/Int16Type/theShortestHelloWorld.out b/...gging/Int16Type/theShortestHelloWorld.out → ...ogged/Int16Type/theShortestHelloWorld.out
diff --git a/.../bf/output/logging/Int16Type/triangle.out → ...s/bf/output/logged/Int16Type/triangle.out b/.../bf/output/logging/Int16Type/triangle.out → ...s/bf/output/logged/Int16Type/triangle.out
diff --git a/...s/bf/output/logging/Int8Type/99botles.out → ...es/bf/output/logged/Int8Type/99botles.out b/...s/bf/output/logging/Int8Type/99botles.out → ...es/bf/output/logged/Int8Type/99botles.out
diff --git a/...t/logging/Int32Type/fascistHelloWorld.out → ...put/logged/Int8Type/fascistHelloWorld.out b/...t/logging/Int32Type/fascistHelloWorld.out → ...put/logged/Int8Type/fascistHelloWorld.out
diff --git a/.../bf/output/logging/Int8Type/fibonacci.out → ...s/bf/output/logged/Int8Type/fibonacci.out b/.../bf/output/logging/Int8Type/fibonacci.out → ...s/bf/output/logged/Int8Type/fibonacci.out
diff --git a/...f/output/logging/Int32Type/helloWorld.out → .../bf/output/logged/Int8Type/helloWorld.out b/...f/output/logging/Int32Type/helloWorld.out → .../bf/output/logged/Int8Type/helloWorld.out
diff --git a/...output/logging/Int8Type/padHelloWorld.out → .../output/logged/Int8Type/padHelloWorld.out b/...output/logging/Int8Type/padHelloWorld.out → .../output/logged/Int8Type/padHelloWorld.out
diff --git a/...ogging/Int8Type/theShortestHelloWorld.out → ...logged/Int8Type/theShortestHelloWorld.out b/...ogging/Int8Type/theShortestHelloWorld.out → ...logged/Int8Type/theShortestHelloWorld.out
diff --git a/...s/bf/output/logging/Int8Type/triangle.out → ...es/bf/output/logged/Int8Type/triangle.out b/...s/bf/output/logging/Int8Type/triangle.out → ...es/bf/output/logged/Int8Type/triangle.out
diff --git a/...s/bf/output/logging/Int8Type/value256.out → ...es/bf/output/logged/Int8Type/value256.out b/...s/bf/output/logging/Int8Type/value256.out → ...es/bf/output/logged/Int8Type/value256.out
diff --git a/...bf/output/logging/Word16Type/99botles.out → .../bf/output/logged/Word16Type/99botles.out b/...bf/output/logging/Word16Type/99botles.out → .../bf/output/logged/Word16Type/99botles.out
diff --git a/...ut/logging/Int8Type/fascistHelloWorld.out → ...t/logged/Word16Type/fascistHelloWorld.out b/...ut/logging/Int8Type/fascistHelloWorld.out → ...t/logged/Word16Type/fascistHelloWorld.out
diff --git a/...bf/output/logging/Int8Type/helloWorld.out → ...f/output/logged/Word16Type/helloWorld.out b/...bf/output/logging/Int8Type/helloWorld.out → ...f/output/logged/Word16Type/helloWorld.out
diff --git a/...ging/Word16Type/theShortestHelloWorld.out → ...gged/Word16Type/theShortestHelloWorld.out b/...ging/Word16Type/theShortestHelloWorld.out → ...gged/Word16Type/theShortestHelloWorld.out
diff --git a/...bf/output/logging/Word16Type/triangle.out → .../bf/output/logged/Word16Type/triangle.out b/...bf/output/logging/Word16Type/triangle.out → .../bf/output/logged/Word16Type/triangle.out
diff --git a/.../bf/output/logging/Word8Type/99botles.out → ...s/bf/output/logged/Word8Type/99botles.out b/.../bf/output/logging/Word8Type/99botles.out → ...s/bf/output/logged/Word8Type/99botles.out
diff --git a/.../logging/Word16Type/fascistHelloWorld.out → ...ut/logged/Word8Type/fascistHelloWorld.out b/.../logging/Word16Type/fascistHelloWorld.out → ...ut/logged/Word8Type/fascistHelloWorld.out
diff --git a/...bf/output/logging/Word8Type/fibonacci.out → .../bf/output/logged/Word8Type/fibonacci.out b/...bf/output/logging/Word8Type/fibonacci.out → .../bf/output/logged/Word8Type/fibonacci.out
diff --git a/.../output/logging/Word16Type/helloWorld.out → ...bf/output/logged/Word8Type/helloWorld.out b/.../output/logging/Word16Type/helloWorld.out → ...bf/output/logged/Word8Type/helloWorld.out
diff --git a/...utput/logging/Word8Type/padHelloWorld.out → ...output/logged/Word8Type/padHelloWorld.out b/...utput/logging/Word8Type/padHelloWorld.out → ...output/logged/Word8Type/padHelloWorld.out
diff --git a/...gging/Word8Type/theShortestHelloWorld.out → ...ogged/Word8Type/theShortestHelloWorld.out b/...gging/Word8Type/theShortestHelloWorld.out → ...ogged/Word8Type/theShortestHelloWorld.out
diff --git a/.../bf/output/logging/Word8Type/triangle.out → ...s/bf/output/logged/Word8Type/triangle.out b/.../bf/output/logging/Word8Type/triangle.out → ...s/bf/output/logged/Word8Type/triangle.out
diff --git a/.../bf/output/logging/Word8Type/value256.out → ...s/bf/output/logged/Word8Type/value256.out b/.../bf/output/logging/Word8Type/value256.out → ...s/bf/output/logged/Word8Type/value256.out
diff --git a/.../bf/output/monadic/Int16Type/99botles.out → ...s/bf/output/output/Int16Type/99botles.out b/.../bf/output/monadic/Int16Type/99botles.out → ...s/bf/output/output/Int16Type/99botles.out
diff --git a/...t/monadic/Int16Type/fascistHelloWorld.out → ...ut/output/Int16Type/fascistHelloWorld.out b/...t/monadic/Int16Type/fascistHelloWorld.out → ...ut/output/Int16Type/fascistHelloWorld.out
diff --git a/...f/output/monadic/Int16Type/helloWorld.out → ...bf/output/output/Int16Type/helloWorld.out b/...f/output/monadic/Int16Type/helloWorld.out → ...bf/output/output/Int16Type/helloWorld.out
diff --git a/...nadic/Int16Type/theShortestHelloWorld.out → ...utput/Int16Type/theShortestHelloWorld.out b/...nadic/Int16Type/theShortestHelloWorld.out → ...utput/Int16Type/theShortestHelloWorld.out
diff --git a/.../bf/output/monadic/Int16Type/triangle.out → ...s/bf/output/output/Int16Type/triangle.out b/.../bf/output/monadic/Int16Type/triangle.out → ...s/bf/output/output/Int16Type/triangle.out
diff --git a/...s/bf/output/monadic/Int8Type/99botles.out → ...es/bf/output/output/Int8Type/99botles.out b/...s/bf/output/monadic/Int8Type/99botles.out → ...es/bf/output/output/Int8Type/99botles.out
diff --git a/...t/monadic/Int32Type/fascistHelloWorld.out → ...put/output/Int8Type/fascistHelloWorld.out b/...t/monadic/Int32Type/fascistHelloWorld.out → ...put/output/Int8Type/fascistHelloWorld.out
diff --git a/.../bf/output/monadic/Int8Type/fibonacci.out → ...s/bf/output/output/Int8Type/fibonacci.out b/.../bf/output/monadic/Int8Type/fibonacci.out → ...s/bf/output/output/Int8Type/fibonacci.out
diff --git a/...f/output/monadic/Int32Type/helloWorld.out → .../bf/output/output/Int8Type/helloWorld.out b/...f/output/monadic/Int32Type/helloWorld.out → .../bf/output/output/Int8Type/helloWorld.out
diff --git a/...output/monadic/Int8Type/padHelloWorld.out → .../output/output/Int8Type/padHelloWorld.out b/...output/monadic/Int8Type/padHelloWorld.out → .../output/output/Int8Type/padHelloWorld.out
diff --git a/...onadic/Int8Type/theShortestHelloWorld.out → ...output/Int8Type/theShortestHelloWorld.out b/...onadic/Int8Type/theShortestHelloWorld.out → ...output/Int8Type/theShortestHelloWorld.out
diff --git a/...s/bf/output/monadic/Int8Type/triangle.out → ...es/bf/output/output/Int8Type/triangle.out b/...s/bf/output/monadic/Int8Type/triangle.out → ...es/bf/output/output/Int8Type/triangle.out
diff --git a/...s/bf/output/monadic/Int8Type/value256.out → ...es/bf/output/output/Int8Type/value256.out b/...s/bf/output/monadic/Int8Type/value256.out → ...es/bf/output/output/Int8Type/value256.out
diff --git a/...bf/output/monadic/Word16Type/99botles.out → .../bf/output/output/Word16Type/99botles.out b/...bf/output/monadic/Word16Type/99botles.out → .../bf/output/output/Word16Type/99botles.out
diff --git a/...ut/monadic/Int8Type/fascistHelloWorld.out → ...t/output/Word16Type/fascistHelloWorld.out b/...ut/monadic/Int8Type/fascistHelloWorld.out → ...t/output/Word16Type/fascistHelloWorld.out
diff --git a/...bf/output/monadic/Int8Type/helloWorld.out → ...f/output/output/Word16Type/helloWorld.out b/...bf/output/monadic/Int8Type/helloWorld.out → ...f/output/output/Word16Type/helloWorld.out
diff --git a/...adic/Word16Type/theShortestHelloWorld.out → ...tput/Word16Type/theShortestHelloWorld.out b/...adic/Word16Type/theShortestHelloWorld.out → ...tput/Word16Type/theShortestHelloWorld.out
diff --git a/...bf/output/monadic/Word16Type/triangle.out → .../bf/output/output/Word16Type/triangle.out b/...bf/output/monadic/Word16Type/triangle.out → .../bf/output/output/Word16Type/triangle.out
diff --git a/.../bf/output/monadic/Word8Type/99botles.out → ...s/bf/output/output/Word8Type/99botles.out b/.../bf/output/monadic/Word8Type/99botles.out → ...s/bf/output/output/Word8Type/99botles.out
diff --git a/.../monadic/Word16Type/fascistHelloWorld.out → ...ut/output/Word8Type/fascistHelloWorld.out b/.../monadic/Word16Type/fascistHelloWorld.out → ...ut/output/Word8Type/fascistHelloWorld.out
diff --git a/...bf/output/monadic/Word8Type/fibonacci.out → .../bf/output/output/Word8Type/fibonacci.out b/...bf/output/monadic/Word8Type/fibonacci.out → .../bf/output/output/Word8Type/fibonacci.out
diff --git a/.../output/monadic/Word16Type/helloWorld.out → ...bf/output/output/Word8Type/helloWorld.out b/.../output/monadic/Word16Type/helloWorld.out → ...bf/output/output/Word8Type/helloWorld.out
diff --git a/...utput/monadic/Word8Type/padHelloWorld.out → ...output/output/Word8Type/padHelloWorld.out b/...utput/monadic/Word8Type/padHelloWorld.out → ...output/output/Word8Type/padHelloWorld.out
diff --git a/...nadic/Word8Type/theShortestHelloWorld.out → ...utput/Word8Type/theShortestHelloWorld.out b/...nadic/Word8Type/theShortestHelloWorld.out → ...utput/Word8Type/theShortestHelloWorld.out
diff --git a/.../bf/output/monadic/Word8Type/triangle.out → ...s/bf/output/output/Word8Type/triangle.out b/.../bf/output/monadic/Word8Type/triangle.out → ...s/bf/output/output/Word8Type/triangle.out
diff --git a/.../bf/output/monadic/Word8Type/value256.out → ...s/bf/output/output/Word8Type/value256.out b/.../bf/output/monadic/Word8Type/value256.out → ...s/bf/output/output/Word8Type/value256.out
diff --git a/...from-eas/logging/SeqStackType/bottles.out → ...es/eta/output/from-eas/logged/bottles.out b/...from-eas/logging/SeqStackType/bottles.out → ...es/eta/output/from-eas/logged/bottles.out
diff --git a/.../from-eas/logging/SeqStackType/fact0 .out → ...les/eta/output/from-eas/logged/fact0 .out b/.../from-eas/logging/SeqStackType/fact0 .out → ...les/eta/output/from-eas/logged/fact0 .out
diff --git a/.../from-eas/logging/SeqStackType/fact1 .out → ...les/eta/output/from-eas/logged/fact1 .out b/.../from-eas/logging/SeqStackType/fact1 .out → ...les/eta/output/from-eas/logged/fact1 .out
diff --git a/.../from-eas/logging/SeqStackType/fact2 .out → ...les/eta/output/from-eas/logged/fact2 .out b/.../from-eas/logging/SeqStackType/fact2 .out → ...les/eta/output/from-eas/logged/fact2 .out
diff --git a/.../from-eas/logging/SeqStackType/fact3 .out → ...les/eta/output/from-eas/logged/fact3 .out b/.../from-eas/logging/SeqStackType/fact3 .out → ...les/eta/output/from-eas/logged/fact3 .out
diff --git a/.../from-eas/logging/SeqStackType/fact4 .out → ...les/eta/output/from-eas/logged/fact4 .out b/.../from-eas/logging/SeqStackType/fact4 .out → ...les/eta/output/from-eas/logged/fact4 .out
diff --git a/.../from-eas/logging/SeqStackType/fact5 .out → ...les/eta/output/from-eas/logged/fact5 .out b/.../from-eas/logging/SeqStackType/fact5 .out → ...les/eta/output/from-eas/logged/fact5 .out
diff --git a/.../from-eas/logging/SeqStackType/fact6 .out → ...les/eta/output/from-eas/logged/fact6 .out b/.../from-eas/logging/SeqStackType/fact6 .out → ...les/eta/output/from-eas/logged/fact6 .out
diff --git a/.../from-eas/logging/SeqStackType/fact7 .out → ...les/eta/output/from-eas/logged/fact7 .out b/.../from-eas/logging/SeqStackType/fact7 .out → ...les/eta/output/from-eas/logged/fact7 .out
diff --git a/.../from-eas/logging/SeqStackType/fact8 .out → ...les/eta/output/from-eas/logged/fact8 .out b/.../from-eas/logging/SeqStackType/fact8 .out → ...les/eta/output/from-eas/logged/fact8 .out
diff --git a/.../from-eas/logging/SeqStackType/fact9 .out → ...les/eta/output/from-eas/logged/fact9 .out b/.../from-eas/logging/SeqStackType/fact9 .out → ...les/eta/output/from-eas/logged/fact9 .out
diff --git a/...t/from-eas/logging/SeqStackType/hello.out → ...ples/eta/output/from-eas/logged/hello.out b/...t/from-eas/logging/SeqStackType/hello.out → ...ples/eta/output/from-eas/logged/hello.out
diff --git a/.../from-eas/logging/SeqStackType/hello2.out → ...les/eta/output/from-eas/logged/hello2.out b/.../from-eas/logging/SeqStackType/hello2.out → ...les/eta/output/from-eas/logged/hello2.out
diff --git a/.../from-eas/logging/SeqStackType/hello3.out → ...les/eta/output/from-eas/logged/hello3.out b/.../from-eas/logging/SeqStackType/hello3.out → ...les/eta/output/from-eas/logged/hello3.out
diff --git a/.../from-eas/logging/SeqStackType/hello4.out → ...les/eta/output/from-eas/logged/hello4.out b/.../from-eas/logging/SeqStackType/hello4.out → ...les/eta/output/from-eas/logged/hello4.out
diff --git a/...om-eas/logging/SeqStackType/readnum0 .out → .../eta/output/from-eas/logged/readnum0 .out b/...om-eas/logging/SeqStackType/readnum0 .out → .../eta/output/from-eas/logged/readnum0 .out
diff --git a/...om-eas/logging/SeqStackType/readnum1 .out → .../eta/output/from-eas/logged/readnum1 .out b/...om-eas/logging/SeqStackType/readnum1 .out → .../eta/output/from-eas/logged/readnum1 .out
diff --git a/...ut/from-eas/logging/SeqStackType/true.out → ...mples/eta/output/from-eas/logged/true.out b/...ut/from-eas/logging/SeqStackType/true.out → ...mples/eta/output/from-eas/logged/true.out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/bottles.out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/bottles.out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact0 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact0 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact1 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact1 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact2 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact2 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact3 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact3 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact4 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact4 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact5 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact5 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact6 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact6 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact7 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact7 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact8 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact8 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact9 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/fact9 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/hello.out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/hello.out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/hello2.out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/hello2.out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/hello3.out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/hello3.out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/hello4.out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/hello4.out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/readnum0 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/readnum0 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/readnum1 .out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/readnum1 .out
diff --git a/.output/actual/examples/eta/output/from-eas/logging/ListStackType/true.out b/.output/actual/examples/eta/output/from-eas/logging/ListStackType/true.out
diff --git a/...rom-eas/monadic/ListStackType/bottles.out → ...es/eta/output/from-eas/output/bottles.out b/...rom-eas/monadic/ListStackType/bottles.out → ...es/eta/output/from-eas/output/bottles.out
diff --git a/...from-eas/monadic/ListStackType/fact0 .out → ...les/eta/output/from-eas/output/fact0 .out b/...from-eas/monadic/ListStackType/fact0 .out → ...les/eta/output/from-eas/output/fact0 .out
diff --git a/...from-eas/monadic/ListStackType/fact1 .out → ...les/eta/output/from-eas/output/fact1 .out b/...from-eas/monadic/ListStackType/fact1 .out → ...les/eta/output/from-eas/output/fact1 .out
diff --git a/...from-eas/monadic/ListStackType/fact2 .out → ...les/eta/output/from-eas/output/fact2 .out b/...from-eas/monadic/ListStackType/fact2 .out → ...les/eta/output/from-eas/output/fact2 .out
diff --git a/...from-eas/monadic/ListStackType/fact3 .out → ...les/eta/output/from-eas/output/fact3 .out b/...from-eas/monadic/ListStackType/fact3 .out → ...les/eta/output/from-eas/output/fact3 .out
diff --git a/...from-eas/monadic/ListStackType/fact4 .out → ...les/eta/output/from-eas/output/fact4 .out b/...from-eas/monadic/ListStackType/fact4 .out → ...les/eta/output/from-eas/output/fact4 .out
diff --git a/...from-eas/monadic/ListStackType/fact5 .out → ...les/eta/output/from-eas/output/fact5 .out b/...from-eas/monadic/ListStackType/fact5 .out → ...les/eta/output/from-eas/output/fact5 .out
diff --git a/...from-eas/monadic/ListStackType/fact6 .out → ...les/eta/output/from-eas/output/fact6 .out b/...from-eas/monadic/ListStackType/fact6 .out → ...les/eta/output/from-eas/output/fact6 .out
diff --git a/...from-eas/monadic/ListStackType/fact7 .out → ...les/eta/output/from-eas/output/fact7 .out b/...from-eas/monadic/ListStackType/fact7 .out → ...les/eta/output/from-eas/output/fact7 .out
diff --git a/...from-eas/monadic/ListStackType/fact8 .out → ...les/eta/output/from-eas/output/fact8 .out b/...from-eas/monadic/ListStackType/fact8 .out → ...les/eta/output/from-eas/output/fact8 .out
diff --git a/...from-eas/monadic/ListStackType/fact9 .out → ...les/eta/output/from-eas/output/fact9 .out b/...from-eas/monadic/ListStackType/fact9 .out → ...les/eta/output/from-eas/output/fact9 .out
diff --git a/.../from-eas/monadic/ListStackType/hello.out → ...ples/eta/output/from-eas/output/hello.out b/.../from-eas/monadic/ListStackType/hello.out → ...ples/eta/output/from-eas/output/hello.out
diff --git a/...from-eas/monadic/ListStackType/hello2.out → ...les/eta/output/from-eas/output/hello2.out b/...from-eas/monadic/ListStackType/hello2.out → ...les/eta/output/from-eas/output/hello2.out
diff --git a/...from-eas/monadic/ListStackType/hello3.out → ...les/eta/output/from-eas/output/hello3.out b/...from-eas/monadic/ListStackType/hello3.out → ...les/eta/output/from-eas/output/hello3.out
diff --git a/...from-eas/monadic/ListStackType/hello4.out → ...les/eta/output/from-eas/output/hello4.out b/...from-eas/monadic/ListStackType/hello4.out → ...les/eta/output/from-eas/output/hello4.out
diff --git a/...m-eas/monadic/ListStackType/readnum0 .out → .../eta/output/from-eas/output/readnum0 .out b/...m-eas/monadic/ListStackType/readnum0 .out → .../eta/output/from-eas/output/readnum0 .out
diff --git a/...m-eas/monadic/ListStackType/readnum1 .out → .../eta/output/from-eas/output/readnum1 .out b/...m-eas/monadic/ListStackType/readnum1 .out → .../eta/output/from-eas/output/readnum1 .out
diff --git a/...t/from-eas/monadic/ListStackType/true.out → ...mples/eta/output/from-eas/output/true.out b/...t/from-eas/monadic/ListStackType/true.out → ...mples/eta/output/from-eas/output/true.out
diff --git a/...original/logging/SeqStackType/bottles.out → ...es/eta/output/original/logged/bottles.out b/...original/logging/SeqStackType/bottles.out → ...es/eta/output/original/logged/bottles.out
diff --git a/...ut/original/logging/SeqStackType/crlf.out → ...mples/eta/output/original/logged/crlf.out b/...ut/original/logging/SeqStackType/crlf.out → ...mples/eta/output/original/logged/crlf.out
diff --git a/.../original/logging/SeqStackType/fact1 .out → ...les/eta/output/original/logged/fact1 .out b/.../original/logging/SeqStackType/fact1 .out → ...les/eta/output/original/logged/fact1 .out
diff --git a/.../original/logging/SeqStackType/fact2 .out → ...les/eta/output/original/logged/fact2 .out b/.../original/logging/SeqStackType/fact2 .out → ...les/eta/output/original/logged/fact2 .out
diff --git a/.../original/logging/SeqStackType/fact3 .out → ...les/eta/output/original/logged/fact3 .out b/.../original/logging/SeqStackType/fact3 .out → ...les/eta/output/original/logged/fact3 .out
diff --git a/.../original/logging/SeqStackType/fact4 .out → ...les/eta/output/original/logged/fact4 .out b/.../original/logging/SeqStackType/fact4 .out → ...les/eta/output/original/logged/fact4 .out
diff --git a/.../original/logging/SeqStackType/fact5 .out → ...les/eta/output/original/logged/fact5 .out b/.../original/logging/SeqStackType/fact5 .out → ...les/eta/output/original/logged/fact5 .out
diff --git a/.../original/logging/SeqStackType/fact6 .out → ...les/eta/output/original/logged/fact6 .out b/.../original/logging/SeqStackType/fact6 .out → ...les/eta/output/original/logged/fact6 .out
diff --git a/.../original/logging/SeqStackType/fact7 .out → ...les/eta/output/original/logged/fact7 .out b/.../original/logging/SeqStackType/fact7 .out → ...les/eta/output/original/logged/fact7 .out
diff --git a/.../original/logging/SeqStackType/fact8 .out → ...les/eta/output/original/logged/fact8 .out b/.../original/logging/SeqStackType/fact8 .out → ...les/eta/output/original/logged/fact8 .out
diff --git a/...t/original/logging/SeqStackType/hello.out → ...ples/eta/output/original/logged/hello.out b/...t/original/logging/SeqStackType/hello.out → ...ples/eta/output/original/logged/hello.out
diff --git a/.../original/logging/SeqStackType/hello2.out → ...les/eta/output/original/logged/hello2.out b/.../original/logging/SeqStackType/hello2.out → ...les/eta/output/original/logged/hello2.out
diff --git a/.output/actual/examples/eta/output/original/logging/ListStackType/bottles.out b/.output/actual/examples/eta/output/original/logging/ListStackType/bottles.out
diff --git a/.output/actual/examples/eta/output/original/logging/ListStackType/crlf.out b/.output/actual/examples/eta/output/original/logging/ListStackType/crlf.out
diff --git a/.output/actual/examples/eta/output/original/logging/ListStackType/fact1 .out b/.output/actual/examples/eta/output/original/logging/ListStackType/fact1 .out
diff --git a/.output/actual/examples/eta/output/original/logging/ListStackType/fact2 .out b/.output/actual/examples/eta/output/original/logging/ListStackType/fact2 .out
diff --git a/.output/actual/examples/eta/output/original/logging/ListStackType/fact3 .out b/.output/actual/examples/eta/output/original/logging/ListStackType/fact3 .out