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

2 warnings

🔍 Files Changed  /  Changed Files

succeeded Dec 21, 2024 in 6s