aboutsummaryrefslogtreecommitdiff
path: root/example/turing
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-02-21 18:30:53 +0100
committerAdrian Kummerlaender2015-02-21 18:30:53 +0100
commit18fe83991563c0072fabaa60ff161e781a5364c2 (patch)
tree80206ef9ea529eb86f6e0b0e64f4772159f7efb3 /example/turing
parenta3a75aefa3597c393756e9f9405398a450d2c9f6 (diff)
downloadTypeAsValue-18fe83991563c0072fabaa60ff161e781a5364c2.tar
TypeAsValue-18fe83991563c0072fabaa60ff161e781a5364c2.tar.gz
TypeAsValue-18fe83991563c0072fabaa60ff161e781a5364c2.tar.bz2
TypeAsValue-18fe83991563c0072fabaa60ff161e781a5364c2.tar.lz
TypeAsValue-18fe83991563c0072fabaa60ff161e781a5364c2.tar.xz
TypeAsValue-18fe83991563c0072fabaa60ff161e781a5364c2.tar.zst
TypeAsValue-18fe83991563c0072fabaa60ff161e781a5364c2.zip
Added `README.md` to the Turing machine example
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.