aboutsummaryrefslogtreecommitdiff
path: root/example
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-03-07 16:14:11 +0100
committerAdrian Kummerlaender2015-03-07 16:14:11 +0100
commitcb2a79cd818fbfa50e7bdebd090e681a0073f9d5 (patch)
tree70c5a90977ae0772618be00dfb499eb5ee4cf63f /example
parent299781bccc5c7d1b212198b5a9a55ee9447603c5 (diff)
downloadTypeAsValue-cb2a79cd818fbfa50e7bdebd090e681a0073f9d5.tar
TypeAsValue-cb2a79cd818fbfa50e7bdebd090e681a0073f9d5.tar.gz
TypeAsValue-cb2a79cd818fbfa50e7bdebd090e681a0073f9d5.tar.bz2
TypeAsValue-cb2a79cd818fbfa50e7bdebd090e681a0073f9d5.tar.lz
TypeAsValue-cb2a79cd818fbfa50e7bdebd090e681a0073f9d5.tar.xz
TypeAsValue-cb2a79cd818fbfa50e7bdebd090e681a0073f9d5.tar.zst
TypeAsValue-cb2a79cd818fbfa50e7bdebd090e681a0073f9d5.zip
Changed `tav::Apply` implementation selection to template alias
* there is no reason to differ from the rest of the library and use inheritance in this instance * added link to blog article on the _Scheme metaphor_ to `README.md`
Diffstat (limited to 'example')
-rw-r--r--example/turing/turing.cc6
1 files changed, 3 insertions, 3 deletions
diff --git a/example/turing/turing.cc b/example/turing/turing.cc
index 720697a..070bc16 100644
--- a/example/turing/turing.cc
+++ b/example/turing/turing.cc
@@ -9,7 +9,7 @@ using BLANK = machine::tape::BLANK;
// (define mirror (list (list 1 1 0 2 'R') [...]))
using mirror = tav::List<
-// [state] [read] [write] [next state] [head movement]
+ // [state] [read] [write] [next state] [head movement]
tav::List<tav::Size<1>, tav::Int<1>, tav::Int<0>, tav::Size<2>, tav::Char<'R'>>,
tav::List<tav::Size<1>, tav::Int<0>, tav::Int<0>, void, tav::Char<'N'> >,
tav::List<tav::Size<2>, tav::Int<1>, tav::Int<1>, tav::Size<2>, tav::Char<'R'>>,
@@ -24,7 +24,7 @@ using mirror = tav::List<
// (define busy_beaver (list (list 'A' 0 1 'B' 'R') [...]))
using busy_beaver = tav::List<
-// [state] [read] [write] [next state] [head movement]
+ // [state] [read] [write] [next state] [head movement]
tav::List<tav::Char<'A'>, tav::Int<0>, tav::Int<1>, tav::Char<'B'>, tav::Char<'R'>>,
tav::List<tav::Char<'A'>, tav::Int<1>, tav::Int<1>, tav::Char<'C'>, tav::Char<'L'> >,
tav::List<tav::Char<'B'>, tav::Int<0>, tav::Int<1>, tav::Char<'A'>, tav::Char<'L'> >,
@@ -35,7 +35,7 @@ using busy_beaver = tav::List<
// (define binary_increment (list (list 0 '() '() 1 'L') [...]))
using binary_increment = tav::List<
-// [state] [read] [write] [next state] [head movement]
+ // [state] [read] [write] [next state] [head movement]
tav::List<tav::Size<0>, BLANK, BLANK, tav::Size<1>, tav::Char<'L'>>,
tav::List<tav::Size<0>, tav::Boolean<false>, tav::Boolean<false>, tav::Size<0>, tav::Char<'R'>>,
tav::List<tav::Size<0>, tav::Boolean<true>, tav::Boolean<true>, tav::Size<0>, tav::Char<'R'>>,