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

2 warnings

🔍 GUI Files Changed  /  Changed Files

succeeded Dec 19, 2024 in 8s