https://github.com/fwcd/tylude

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

peano recursive-conditionals type-level-programming typescript

Last synced: 09 Apr 2025