Skip to content

Symetric, transitive and reflexive equality for intersection types (#… #146

Symetric, transitive and reflexive equality for intersection types (#…

Symetric, transitive and reflexive equality for intersection types (#… #146

Annotations

1 warning

⚙️ Checks (Optional)  /  Engine (GraalVM CE) (macos, amd64)

succeeded Dec 21, 2024 in 37m 51s