@hackage eq0.1.0

Leibnizian equality

Leibnizian equality