Add Zot examples

helvm · Feb 19, 2022 · 524ec94 · 524ec94
1 parent 4e0e221
commit 524ec94
Show file tree

Hide file tree

Showing 81 changed files with 14 additions and 56 deletions.
diff --git a/.../asciiOff/lambda/flipPrint10101010.output → ...sciiOff/calculus/flipPrint10101010.output b/.../asciiOff/lambda/flipPrint10101010.output → ...sciiOff/calculus/flipPrint10101010.output
diff --git a/.../output/asciiOff/lambda/id10101010.output → ...utput/asciiOff/calculus/id10101010.output b/.../output/asciiOff/lambda/id10101010.output → ...utput/asciiOff/calculus/id10101010.output
diff --git a/...put/asciiOff/lambda/print310101010.output → ...t/asciiOff/calculus/print310101010.output b/...put/asciiOff/lambda/print310101010.output → ...t/asciiOff/calculus/print310101010.output
diff --git a/...ut/asciiOff/lambda/reverse10101010.output → .../asciiOff/calculus/reverse10101010.output b/...ut/asciiOff/lambda/reverse10101010.output → .../asciiOff/calculus/reverse10101010.output
diff --git a/.output/actual/examples/zot/eval/output/asciiOn/lambda/flipPrint10101010.output b/.output/actual/examples/zot/eval/output/asciiOn/lambda/flipPrint10101010.output
diff --git a/.output/actual/examples/zot/eval/output/asciiOn/lambda/id10101010.output b/.output/actual/examples/zot/eval/output/asciiOn/lambda/id10101010.output
diff --git a/.output/actual/examples/zot/eval/output/asciiOn/lambda/print310101010.output b/.output/actual/examples/zot/eval/output/asciiOn/lambda/print310101010.output
diff --git a/.output/actual/examples/zot/eval/output/asciiOn/lambda/reverse10101010.output b/.output/actual/examples/zot/eval/output/asciiOn/lambda/reverse10101010.output
diff --git a/.output/golden/examples/lambda/eval/output/asciiOn/flipPrint10101010.output b/.output/golden/examples/lambda/eval/output/asciiOn/flipPrint10101010.output
diff --git a/.output/golden/examples/lambda/eval/output/asciiOn/id10101010.output b/.output/golden/examples/lambda/eval/output/asciiOn/id10101010.output
diff --git a/.output/golden/examples/lambda/eval/output/asciiOn/print310101010.output b/.output/golden/examples/lambda/eval/output/asciiOn/print310101010.output
diff --git a/.output/golden/examples/lambda/eval/output/asciiOn/reverse10101010.output b/.output/golden/examples/lambda/eval/output/asciiOn/reverse10101010.output
diff --git a/.output/golden/examples/lambda/lambda/lambda/flipPrint.lambda b/.output/golden/examples/lambda/lambda/lambda/flipPrint.lambda
diff --git a/.output/golden/examples/lambda/lambda/lambda/id.lambda b/.output/golden/examples/lambda/lambda/lambda/id.lambda
diff --git a/.output/golden/examples/lambda/lambda/lambda/print3.lambda b/.output/golden/examples/lambda/lambda/lambda/print3.lambda
diff --git a/.output/golden/examples/lambda/lambda/lambda/rev.lambda b/.output/golden/examples/lambda/lambda/lambda/rev.lambda
diff --git a/.output/golden/examples/lambda/lambda/lambda/reverse.lambda b/.output/golden/examples/lambda/lambda/lambda/reverse.lambda
diff --git a/.output/golden/examples/lambda/lambda/ski/flipPrint.lambda b/.output/golden/examples/lambda/lambda/ski/flipPrint.lambda
diff --git a/.output/golden/examples/lambda/lambda/ski/id.lambda b/.output/golden/examples/lambda/lambda/ski/id.lambda
diff --git a/.output/golden/examples/lambda/lambda/ski/print3.lambda b/.output/golden/examples/lambda/lambda/ski/print3.lambda
diff --git a/.output/golden/examples/lambda/lambda/ski/rev.lambda b/.output/golden/examples/lambda/lambda/ski/rev.lambda
diff --git a/.output/golden/examples/lambda/lambda/ski/reverse.lambda b/.output/golden/examples/lambda/lambda/ski/reverse.lambda
diff --git a/.output/golden/examples/lambda/ski/flipPrint.ski b/.output/golden/examples/lambda/ski/flipPrint.ski
diff --git a/.output/golden/examples/lambda/ski/id.ski b/.output/golden/examples/lambda/ski/id.ski
diff --git a/.output/golden/examples/lambda/ski/print3.ski b/.output/golden/examples/lambda/ski/print3.ski
diff --git a/.output/golden/examples/lambda/ski/rev.ski b/.output/golden/examples/lambda/ski/rev.ski
diff --git a/.output/golden/examples/lambda/ski/reverse.ski b/.output/golden/examples/lambda/ski/reverse.ski
diff --git a/.output/golden/examples/ski/eval/output/asciiOff/flipPrint10101010.output b/.output/golden/examples/ski/eval/output/asciiOff/flipPrint10101010.output
diff --git a/.output/golden/examples/ski/eval/output/asciiOff/id10101010.output b/.output/golden/examples/ski/eval/output/asciiOff/id10101010.output
diff --git a/.output/golden/examples/ski/eval/output/asciiOff/print310101010.output b/.output/golden/examples/ski/eval/output/asciiOff/print310101010.output
diff --git a/.output/golden/examples/ski/eval/output/asciiOff/reverse10101010.output b/.output/golden/examples/ski/eval/output/asciiOff/reverse10101010.output
diff --git a/.output/golden/examples/ski/eval/output/asciiOn/flipPrint10101010.output b/.output/golden/examples/ski/eval/output/asciiOn/flipPrint10101010.output
diff --git a/.output/golden/examples/ski/eval/output/asciiOn/id10101010.output b/.output/golden/examples/ski/eval/output/asciiOn/id10101010.output
diff --git a/.output/golden/examples/ski/eval/output/asciiOn/print310101010.output b/.output/golden/examples/ski/eval/output/asciiOn/print310101010.output
diff --git a/.output/golden/examples/ski/eval/output/asciiOn/reverse10101010.output b/.output/golden/examples/ski/eval/output/asciiOn/reverse10101010.output
diff --git a/.output/golden/examples/ski/lambda/lambda/flipPrint.lambda b/.output/golden/examples/ski/lambda/lambda/flipPrint.lambda
diff --git a/.output/golden/examples/ski/lambda/lambda/id.lambda b/.output/golden/examples/ski/lambda/lambda/id.lambda
diff --git a/.output/golden/examples/ski/lambda/lambda/print3.lambda b/.output/golden/examples/ski/lambda/lambda/print3.lambda
diff --git a/.output/golden/examples/ski/lambda/lambda/rev.lambda b/.output/golden/examples/ski/lambda/lambda/rev.lambda
diff --git a/.output/golden/examples/ski/lambda/lambda/reverse.lambda b/.output/golden/examples/ski/lambda/lambda/reverse.lambda
diff --git a/.output/golden/examples/ski/lambda/ski/flipPrint.lambda b/.output/golden/examples/ski/lambda/ski/flipPrint.lambda
diff --git a/.output/golden/examples/ski/lambda/ski/id.lambda b/.output/golden/examples/ski/lambda/ski/id.lambda
diff --git a/.output/golden/examples/ski/lambda/ski/print3.lambda b/.output/golden/examples/ski/lambda/ski/print3.lambda
diff --git a/.output/golden/examples/ski/lambda/ski/rev.lambda b/.output/golden/examples/ski/lambda/ski/rev.lambda
diff --git a/.output/golden/examples/ski/lambda/ski/reverse.lambda b/.output/golden/examples/ski/lambda/ski/reverse.lambda
diff --git a/.output/golden/examples/ski/ski/flipPrint.ski b/.output/golden/examples/ski/ski/flipPrint.ski
diff --git a/.output/golden/examples/ski/ski/id.ski b/.output/golden/examples/ski/ski/id.ski
diff --git a/.output/golden/examples/ski/ski/print3.ski b/.output/golden/examples/ski/ski/print3.ski
diff --git a/.output/golden/examples/ski/ski/rev.ski b/.output/golden/examples/ski/ski/rev.ski
diff --git a/.output/golden/examples/ski/ski/reverse.ski b/.output/golden/examples/ski/ski/reverse.ski
diff --git a/.output/golden/examples/ski/zot/flipPrint.zot b/.output/golden/examples/ski/zot/flipPrint.zot
diff --git a/.output/golden/examples/ski/zot/id.zot b/.output/golden/examples/ski/zot/id.zot
diff --git a/.output/golden/examples/ski/zot/print3.zot b/.output/golden/examples/ski/zot/print3.zot
diff --git a/.output/golden/examples/ski/zot/rev.zot b/.output/golden/examples/ski/zot/rev.zot
diff --git a/.output/golden/examples/ski/zot/reverse.zot b/.output/golden/examples/ski/zot/reverse.zot
diff --git a/.../output/asciiOff/flipPrint10101010.output → ...sciiOff/calculus/flipPrint10101010.output b/.../output/asciiOff/flipPrint10101010.output → ...sciiOff/calculus/flipPrint10101010.output
diff --git a/...da/eval/output/asciiOff/id10101010.output → ...utput/asciiOff/calculus/id10101010.output b/...da/eval/output/asciiOff/id10101010.output → ...utput/asciiOff/calculus/id10101010.output
diff --git a/...val/output/asciiOff/print310101010.output → ...t/asciiOff/calculus/print310101010.output b/...val/output/asciiOff/print310101010.output → ...t/asciiOff/calculus/print310101010.output
diff --git a/...al/output/asciiOff/reverse10101010.output → .../asciiOff/calculus/reverse10101010.output b/...al/output/asciiOff/reverse10101010.output → .../asciiOff/calculus/reverse10101010.output
diff --git a/.output/golden/examples/zot/eval/output/asciiOff/lambda/flipPrint10101010.output b/.output/golden/examples/zot/eval/output/asciiOff/lambda/flipPrint10101010.output
diff --git a/.output/golden/examples/zot/eval/output/asciiOff/lambda/id10101010.output b/.output/golden/examples/zot/eval/output/asciiOff/lambda/id10101010.output
diff --git a/.output/golden/examples/zot/eval/output/asciiOff/lambda/print310101010.output b/.output/golden/examples/zot/eval/output/asciiOff/lambda/print310101010.output
diff --git a/.output/golden/examples/zot/eval/output/asciiOff/lambda/reverse10101010.output b/.output/golden/examples/zot/eval/output/asciiOff/lambda/reverse10101010.output
diff --git a/.output/golden/examples/zot/eval/output/asciiOn/lambda/flipPrint10101010.output b/.output/golden/examples/zot/eval/output/asciiOn/lambda/flipPrint10101010.output
diff --git a/.output/golden/examples/zot/eval/output/asciiOn/lambda/id10101010.output b/.output/golden/examples/zot/eval/output/asciiOn/lambda/id10101010.output
diff --git a/.output/golden/examples/zot/eval/output/asciiOn/lambda/print310101010.output b/.output/golden/examples/zot/eval/output/asciiOn/lambda/print310101010.output
diff --git a/.output/golden/examples/zot/eval/output/asciiOn/lambda/reverse10101010.output b/.output/golden/examples/zot/eval/output/asciiOn/lambda/reverse10101010.output
diff --git a/docs/reports/stan.html b/docs/reports/stan.html
diff --git a/.../golden/examples/lambda/zot/flipPrint.zot → examples/zot/calculus/flipPrint.zot b/.../golden/examples/lambda/zot/flipPrint.zot → examples/zot/calculus/flipPrint.zot
diff --git a/.output/golden/examples/lambda/zot/id.zot → examples/zot/calculus/id.zot b/.output/golden/examples/lambda/zot/id.zot → examples/zot/calculus/id.zot
diff --git a/...put/golden/examples/lambda/zot/print3.zot → examples/zot/calculus/print3.zot b/...put/golden/examples/lambda/zot/print3.zot → examples/zot/calculus/print3.zot
diff --git a/.output/golden/examples/lambda/zot/rev.zot → examples/zot/calculus/rev.zot b/.output/golden/examples/lambda/zot/rev.zot → examples/zot/calculus/rev.zot
diff --git a/...ut/golden/examples/lambda/zot/reverse.zot → examples/zot/calculus/reverse.zot b/...ut/golden/examples/lambda/zot/reverse.zot → examples/zot/calculus/reverse.zot
diff --git a/examples/zot/lambda/flipPrint.zot b/examples/zot/lambda/flipPrint.zot
diff --git a/examples/zot/lambda/id.zot b/examples/zot/lambda/id.zot
diff --git a/examples/zot/lambda/print3.zot b/examples/zot/lambda/print3.zot