Implementation of primitive recursive functions using C++20 constexpr variadic template lambdas ;)
Basis of primitive recursive functions:
- Z (zero)
- N (increment)
- U (projection)
- S (composition)
- R (primitive recursion)
Implemented examples:
- addition, multiplication, subtraction
- less or equal predicate
- factorial
- div, mod
- sqrt
- pair -> number in diagonal numbering