@hackage eq0.3.3.1

Leibnizian equality

Leibnizian equality