| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-01-16 | Implemented basic `Cons` value type and `List` constructor | Adrian Kummerlaender | |
| * `Cons` is a straigth forward type _pair_ containing `car` and `cdr` typedefs ** they may be accessed using `Car` and `Cdr` helper template aliases ** there is no enforcement of _Cons_ structure and type equality whatsoever *** i.e. similar to Scheme and different from how it is implemented in _ConstList_ * `List` is a recursive variadic helper template for constructing `Cons` value types ** simplifies _Cons_ construction and may be expanded to offer type deduction and built upon to enforce type equality * added appropriate test cases | |||
| 2015-01-16 | Capitalized math operations to fit naming scheme | Adrian Kummerlaender | |
| 2015-01-16 | Implemented `tav::If` as `std::conditional` wrapper | Adrian Kummerlaender | |
| 2015-01-16 | Redefined function template structs as template aliases | Adrian Kummerlaender | |
| 2015-01-15 | Extracted basic math operations into separate header | Adrian Kummerlaender | |
| 2015-01-15 | Removed unnecessary restrictions of the standard operator rules | Adrian Kummerlaender | |
| 2015-01-15 | Completed basic math operators and fixed their result type | Adrian Kummerlaender | |
| * the result type now depends on the `decltype` of the performed operation | |||
| 2015-01-15 | Added basic value type alias and math operations | Adrian Kummerlaender | |
 |
index : TypeAsValue | |
| C++ compile time computation library using types as values and templates as functions | Gitolite user |
| aboutsummaryrefslogtreecommitdiff |