aboutsummaryrefslogtreecommitdiff
path: root/example/turing
diff options
context:
space:
mode:
Diffstat (limited to 'example/turing')
-rw-r--r--example/turing/README.md5
1 files changed, 5 insertions, 0 deletions
diff --git a/example/turing/README.md b/example/turing/README.md
new file mode 100644
index 0000000..84be368
--- /dev/null
+++ b/example/turing/README.md
@@ -0,0 +1,5 @@
+# turing
+
+…is an example implementation of the most conclusive demonstration of how _TypeAsValue_ may be used to perform arbitrary compile time computations: a _Turing machine_.
+
+It prints the initial and final tape states gained by evaluating both a _Mirror_ state transition table and the well known _Busy Beaver_ example.