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



Reply via email to