Skip to content

Symetric, transitive and reflexive equality for intersection types #65

Symetric, transitive and reflexive equality for intersection types

Symetric, transitive and reflexive equality for intersection types #65