| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : TypeAsValue | |
| C++ compile time computation library using types as values and templates as functions | Gitolite user |
| aboutsummaryrefslogtreecommitdiff |