14 Oct
2010
14 Oct
'10
9:44 a.m.
I have the two notes on the GHC library. The docs show that 1. Map has the function for the Map inclusion relation, and Set does not have such for sets. 2. notMember looks unnecessary, because one can write not . Map.member k. Regards, ----------------- Serge Mechveliani mechvel@botik.ru