diff options
author | Adrian Kummerlaender | 2015-02-21 18:30:53 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-02-21 18:30:53 +0100 |
commit | 18fe83991563c0072fabaa60ff161e781a5364c2 (patch) | |
tree | 80206ef9ea529eb86f6e0b0e64f4772159f7efb3 /example/turing | |
parent | a3a75aefa3597c393756e9f9405398a450d2c9f6 (diff) | |
download | TypeAsValue-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.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. |