nat-ts
Type-level natural numbers for Typescript.
; ;;; // also = S<One>; ;;;// type Two_b = AnyNat<2>; // type error: 2 is not a Nat. ;;// ...;// ...;
Type-level natural numbers for Typescript.
; ;;; // also = S<One>; ;;;// type Two_b = AnyNat<2>; // type error: 2 is not a Nat. ;;// ...;// ...;
npm i nat-ts
1
2.0.1
BSD-3-Clause
34 kB
6