fwcd/tylude

Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types

Language: TypeScript - Size: 16.6 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0