5 Aug
2011
5 Aug
'11
3:44 p.m.
2011/8/5 Arlen Cuss <celtic@sairyx.org>:
I would go with : validatePositive :: Int -> Maybe (Positive Int) square :: Positive Int -> Positive Int
But squaring a negative Int is still guaranteed to be positive!
I thought he said he wanted to work with natural numbers. David.