Skip to content

Symetric, transitive and reflexive equality for intersection types #11

Symetric, transitive and reflexive equality for intersection types

Symetric, transitive and reflexive equality for intersection types #11

Annotations

1 error and 1 warning

📦 Package (Optional)  /  Package New IDE (macos, amd64)

failed Dec 20, 2024 in 36m 0s