j
k
j a
j l
On Thu, Sep 18, 2014 at 11:02 AM, flicky frans wrote:
Plus a b :: (result :: Nat) That looks quite unintuitive to me, since `result' reads like a variable of type Nat.
Plus a b :: (result :: Nat)
That looks quite unintuitive to me, since `result' reads like a variable of type Nat.
But isn't that exactly what it is supposed to be? -Brent
Attachments:
Back to the thread
Back to the list
