j
k
j a
j l
Conor McBride writes:
Elements of Zero are rather special, powerful things. ...magic :: Zero -> a magic _ = error "There's magic, as no such thing!"
Elements of Zero are rather special, powerful things.
magic :: Zero -> a magic _ = error "There's magic, as no such thing!"
Why have a function body at all? Shouldn't the type signature be sufficent?
Back to the thread
Back to the list
