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

Annotations

1 warning

📦 Package (Optional)  /  Build Backend (macos, amd64)

succeeded Dec 21, 2024 in 29m 31s