Add examples directory

sd-visualiser · Apr 12, 2023 · b840745 · b840745
1 parent 1661eea
commit b840745
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/examples/thunks.sd b/examples/thunks.sd
@@ -0,0 +1,5 @@
+bind thunk1 = y z . bind a  = +(x, y) in bind b = +(a, z) in b in
+bind thunk2 = y z u . bind a  = +(x, y) in bind b = +(a, z) in bind c = +(b, u) in c in
+bind thunk3 = y z u v . bind a  = +(x, y) in bind b = +(a, z) in bind c = +(b, u) in bind d = +(c, v) in d in
+bind a = +(thunk1, thunk2, thunk3) in
+a