Allows for simpler coding of type-level logic, e.g. for type-number systems.
Primary LanguageRust
No issues in this repository yet.