training frustrations

I had to show my apprentice today how to use the modulus operator, as he just didn't get it.

But before that I had to explain how to divide integers leaving a quotient and remainder. He didn't get that either.

"Ok, so tell me the remainder of one divided by two..."
(several seconds pause)
"That's a bit hard."

I ended up drawing diagrams and using coins to explain how to do division. Just what are they teaching them these days??

>>56
Sorry.
prop_edgeCase_nan = let nan = 0 / 0 in (nan <=> nan) == False
prop_lessThanOrEqualToOrGreaterThan x y = (x <=> y) == ((x == y) || (x > y) || (x < y))