4 ms·
> wouldn't that require a lot of coding to define type level naturals for all the possible values of X? It’s a one-liner in Haskell (two if you count the DataK
by whateveracct 9y ago
> wouldn't that require a lot of coding to define type level naturals for all the possible values of X?
It’s a one-liner in Haskell (two if you count the DataKinds pragma):
data Nat = Z | S Nat