>class HLe n n'
>instance HLe HZero HZero
>instance HLe x y => HLe (HSucc x) (HSucc y)
Erm of course this was the definition for Equals, not less than or
equals!
class HLe n n'
instance HLe HZero x
instance HLe x y => HLe (HSucc x) (HSucc y)
Is the definition for less than or equals... but it took me all of
5 seconds to realise the first definition I gave was wrong - because
it is so simple...
Keean.
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
