index
:
TypeAsValue
master
C++ compile time computation library using types as values and templates as functions
Gitolite user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
example
Age
Commit message (
Expand
)
Author
2015-03-14
Implemented basic tape log printout in _Turing_ example
Adrian Kummerlaender
2015-03-07
Changed `tav::Apply` implementation selection to template alias
Adrian Kummerlaender
2015-02-24
Replaced `utility::defer_eval` with placeholder-less `Apply`
Adrian Kummerlaender
2015-02-23
Added binary incrementer state table to Turing machine example
Adrian Kummerlaender
2015-02-22
Improved `simulate` function of the Turing machine example
Adrian Kummerlaender
2015-02-21
Added `README.md` to the Turing machine example
Adrian Kummerlaender
2015-02-21
Moved Turing machine printing into separate function
Adrian Kummerlaender
2015-02-21
Separated Turing machine implementation into components
Adrian Kummerlaender
2015-02-21
Implemented basic Turing machine as an example
Adrian Kummerlaender
2015-02-15
Moved class-based implementations into `detail` namespace
Adrian Kummerlaender
2015-02-14
Introduced `Eval` function evaluation helper
Adrian Kummerlaender
2015-02-13
Renamed `Apply`'s template alias to `function`
Adrian Kummerlaender
2015-02-12
Added `Is` prefix to `EqualValue` and `EqualType`
Adrian Kummerlaender
2015-02-12
Revamped partial function application
Adrian Kummerlaender
2015-02-08
Added _Scheme_ variant of prime example as documentation
Adrian Kummerlaender
2015-02-06
Revamped to use `Cons` as a function and `Pair` as its result
Adrian Kummerlaender
2015-02-05
Reimplemented `removeMultiplesOf` in terms of a partial function application
Adrian Kummerlaender
2015-02-04
Implemented the Sieve of Eratosthenes as a basic example
Adrian Kummerlaender