This package update provides two new libraries
- Contract (compiled library) [1]: Contract programming for C++.
All contract programming features are supported: Subcontracting,
class invariants, postconditions (with old and return values),
preconditions, customizable actions on assertion failure (e.g.,
terminate or throw), optional compilation and checking of
assertions, etc, from Lorenzo Caminiti.
- HOF (header-only library) [2]:
Higher-order functions for C++, from Paul Fultz II.