diff options
| -rw-r--r-- | example/turing/README.md | 5 |
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. |