From cb2a79cd818fbfa50e7bdebd090e681a0073f9d5 Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Sat, 7 Mar 2015 16:14:11 +0100 Subject: 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` --- example/turing/turing.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'example/turing') 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::Int<1>, tav::Int<0>, tav::Size<2>, tav::Char<'R'>>, tav::List, tav::Int<0>, tav::Int<0>, void, tav::Char<'N'> >, tav::List, 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::Int<0>, tav::Int<1>, tav::Char<'B'>, tav::Char<'R'>>, tav::List, tav::Int<1>, tav::Int<1>, tav::Char<'C'>, tav::Char<'L'> >, tav::List, 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, BLANK, BLANK, tav::Size<1>, tav::Char<'L'>>, tav::List, tav::Boolean, tav::Boolean, tav::Size<0>, tav::Char<'R'>>, tav::List, tav::Boolean, tav::Boolean, tav::Size<0>, tav::Char<'R'>>, -- cgit v1.2.3