Skip to content
✨ GUI

Symetric, transitive and reflexive equality for intersection types #1238

Sign in to view logs

Symetric, transitive and reflexive equality for intersection types

Symetric, transitive and reflexive equality for intersection types #1238

Annotations

1 warning

🔍 Files Changed  /  Changed Files

🔍 Files Changed / Changed Files
succeeded Dec 21, 2024 in 8s