Next
Types Are Theorems; Programs Are Proofs
3
Currying
cons :: a -> ([a] -> [a])
By convention,
->
associates to the right:
cons :: a -> [a] -> [a]
Next
Next