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 error and 1 warning

📦 Package  /  Package New IDE (windows, amd64)

failed Dec 21, 2024 in 11m 37s. View latest attempt.