6 Aug
2004
6 Aug
'04
9:08 a.m.
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.