TypeAsValue/example/turing, branch master

Updated _Turing machine_ comments to reflect tape logging

2015-03-15T10:37:19+00:00

Implemented basic tape log printout in _Turing_ example

2015-03-14T21:43:12+00:00

* `machine::simulate` now returns a list of all tape states and corresponding head positions
* rewrote some of the actual print logic in terms _TypeAsValue_

Changed `tav::Apply` implementation selection to template alias

2015-03-07T15:14:11+00:00

* 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`

Replaced `utility::defer_eval` with placeholder-less `Apply`

2015-02-24T15:51:37+00:00

* usage of `Apply` sans placeholders was already possible and as such duplicated `utility::defer_eval`
* renamed `apply_none`'s type alias from to `type` to enable combining it with `Eval`

Added binary incrementer state table to Turing machine example

2015-02-23T18:03:16+00:00

* reintroduced `BLANK` as the _BLANK_ symbol
* fixed implicit tape expansion in `tape::readSymbol`

Improved `simulate` function of the Turing machine example

2015-02-22T16:14:15+00:00

* introduced `state::state_accessor` helper function and moved position logic into `updatePosition`
* added `IsEqual` comparator and expressed other basic comparators in terms of itself

Added `README.md` to the Turing machine example

2015-02-21T17:30:53+00:00

Moved Turing machine printing into separate function

2015-02-21T17:19:58+00:00

Separated Turing machine implementation into components

2015-02-21T16:27:52+00:00

* i.e. separate namespaces and headers for _Tape_ and _State_ functions
* `void` is now used as the `BLANK` field value

Implemented basic Turing machine as an example

2015-02-21T13:56:39+00:00

* executes and prints the _Busy Beaver_ and _Mirror_ state transitions
* this example demonstrates how one may use _TypeAsValue_ to simplify and augment normal statically recursive template metaprograms where it makes sense