Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types
Primary LanguageTypeScriptMIT LicenseMIT
No issues in this repository yet.