3 ms·
> You can clearly enumerate all Haskell functions which are syntactically correct and which have type Nat->Nat Is this a finite process?
by bsedlm 5y ago
> You can clearly enumerate all Haskell functions which are syntactically correct and which have type Nat->Nat
Is this a finite process?