5485 - promote SubX to top-level

22 files changed, 53 insertions, 0 deletions

diff --git a/html/archive/2.vm/chessboard-test.png b/html/archive/2.vm/chessboard-test.png
new file mode 100644
index 00000000..38a03f6c
--- /dev/null
+++ b/html/archive/2.vm/chessboard-test.png
Binary files differdiff --git a/html/archive/2.vm/edit.png b/html/archive/2.vm/edit.png
new file mode 100644
index 00000000..04099cf8
--- /dev/null
+++ b/html/archive/2.vm/edit.png
Binary files differdiff --git a/html/archive/2.vm/example1.png b/html/archive/2.vm/example1.png
new file mode 100644
index 00000000..de90c925
--- /dev/null
+++ b/html/archive/2.vm/example1.png
Binary files differdiff --git a/html/archive/2.vm/expected-result.png b/html/archive/2.vm/expected-result.png
new file mode 100644
index 00000000..7f35fdec
--- /dev/null
+++ b/html/archive/2.vm/expected-result.png
Binary files differdiff --git a/html/archive/2.vm/f2c-1.mu b/html/archive/2.vm/f2c-1.mu
new file mode 100644
index 00000000..b81203c4
--- /dev/null
+++ b/html/archive/2.vm/f2c-1.mu
@@ -0,0 +1,8 @@
+# c = (f-32) * 5/9
+def fahrenheit-to-celsius f:number -> c:number [
+  local-scope
+  load-ingredients
+  tmp:number <- subtract f, 32
+  tmp <- multiply tmp, 5
+  c <- divide tmp, 9
+]
diff --git a/html/archive/2.vm/f2c-1.png b/html/archive/2.vm/f2c-1.png
new file mode 100644
index 00000000..c15b1fe2
--- /dev/null
+++ b/html/archive/2.vm/f2c-1.png
Binary files differdiff --git a/html/archive/2.vm/f2c-2.mu b/html/archive/2.vm/f2c-2.mu
new file mode 100644
index 00000000..ded2a640
--- /dev/null
+++ b/html/archive/2.vm/f2c-2.mu
@@ -0,0 +1,9 @@
+# c = (f-32) * 5/9
+def fahrenheit-to-celsius [
+  local-scope
+  f:number <- next-ingredient
+  tmp:number <- subtract f, 32
+  tmp <- multiply tmp, 5
+  c:number <- divide tmp, 9
+  return c
+]
diff --git a/html/archive/2.vm/f2c-2.png b/html/archive/2.vm/f2c-2.png
new file mode 100644
index 00000000..23a2fd38
--- /dev/null
+++ b/html/archive/2.vm/f2c-2.png
Binary files differdiff --git a/html/archive/2.vm/factorial-test.png b/html/archive/2.vm/factorial-test.png
new file mode 100644
index 00000000..f6e5696d
--- /dev/null
+++ b/html/archive/2.vm/factorial-test.png
Binary files differdiff --git a/html/archive/2.vm/factorial.png b/html/archive/2.vm/factorial.png
new file mode 100644
index 00000000..d3a57aa7
--- /dev/null
+++ b/html/archive/2.vm/factorial.png
Binary files differdiff --git a/html/archive/2.vm/fake-console.png b/html/archive/2.vm/fake-console.png
new file mode 100644
index 00000000..3f8a50b2
--- /dev/null
+++ b/html/archive/2.vm/fake-console.png
Binary files differdiff --git a/html/archive/2.vm/fake-keyboard.png b/html/archive/2.vm/fake-keyboard.png
new file mode 100644
index 00000000..b3d7aad2
--- /dev/null
+++ b/html/archive/2.vm/fake-keyboard.png
Binary files differdiff --git a/html/archive/2.vm/fork.png b/html/archive/2.vm/fork.png
new file mode 100644
index 00000000..f7bfcf5c
--- /dev/null
+++ b/html/archive/2.vm/fork.png
Binary files differdiff --git a/html/archive/2.vm/immutable-error.png b/html/archive/2.vm/immutable-error.png
new file mode 100644
index 00000000..b48fae69
--- /dev/null
+++ b/html/archive/2.vm/immutable-error.png
Binary files differdiff --git a/html/archive/2.vm/mutable.png b/html/archive/2.vm/mutable.png
new file mode 100644
index 00000000..d2f47ebc
--- /dev/null
+++ b/html/archive/2.vm/mutable.png
Binary files differdiff --git a/html/archive/2.vm/resources.mu b/html/archive/2.vm/resources.mu
new file mode 100644
index 00000000..79bb999f
--- /dev/null
+++ b/html/archive/2.vm/resources.mu
@@ -0,0 +1,18 @@
+
+
+
+
+  assume-resources [
+    # contents for a local file
+    [/foo/bar] <- [
+      |def|  # lines delimited by '|'
+    ]
+
+    # contents for a URL
+    [example.com/foo/bar] <- [
+      |abc|
+    ]
+  ]
+
+
+
diff --git a/html/archive/2.vm/resources.png b/html/archive/2.vm/resources.png
new file mode 100644
index 00000000..4222c5d0
--- /dev/null
+++ b/html/archive/2.vm/resources.png
Binary files differdiff --git a/html/archive/2.vm/tangle.png b/html/archive/2.vm/tangle.png
new file mode 100644
index 00000000..beda9eb0
--- /dev/null
+++ b/html/archive/2.vm/tangle.png
Binary files differdiff --git a/html/archive/2.vm/tmux-vim-sandbox.png b/html/archive/2.vm/tmux-vim-sandbox.png
new file mode 100644
index 00000000..18e46f4b
--- /dev/null
+++ b/html/archive/2.vm/tmux-vim-sandbox.png
Binary files differdiff --git a/html/archive/2.vm/tracing-test.mu b/html/archive/2.vm/tracing-test.mu
new file mode 100644
index 00000000..a6171054
--- /dev/null
+++ b/html/archive/2.vm/tracing-test.mu
@@ -0,0 +1,18 @@
+
+
+
+  run [
+    result:boolean <- equal [abc], [abcd]  # lengths differ
+  ]
+  trace-should-contain [
+    equal: comparing lengths
+  ]
+  trace-should-not-contain [
+    equal: comparing characters
+  ]
+
+
+
+
+
+
diff --git a/html/archive/2.vm/tracing-test.png b/html/archive/2.vm/tracing-test.png
new file mode 100644
index 00000000..0728a003
--- /dev/null
+++ b/html/archive/2.vm/tracing-test.png
Binary files differdiff --git a/html/archive/2.vm/unexpected-result.png b/html/archive/2.vm/unexpected-result.png
new file mode 100644
index 00000000..37bff0f2
--- /dev/null
+++ b/html/archive/2.vm/unexpected-result.png
Binary files differ