Symetric, transitive and reflexive equality for intersection types#11897
Merged
mergify[bot] merged 11 commits intodevelopfrom wip/jtulach/TransitiveReflexiveEquals11845Dec 21, 2024
+390-74
Commits
Commits on Dec 17, 2024
Commits on Dec 18, 2024
Commits on Dec 19, 2024
- committed
- committed
- committed
- committed
- committed
- authored
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}