Lennart Augustsson
Mon, 17 May 93 22:33:25 +0200
More questions along the same lines as for n+k:
Does == in the pattern match translation refer to == in PreludeCore?
Does negate in the translation of -e refer to negate in PreludeCore?
-- Lennart