Utility library that helps expressing invariants in types
Primary LanguageC++
No issues in this repository yet.