Initial benchmarks for intersection types + a bit of speedup#11924
Merged
JaroslavTulach merged 29 commits intodevelopfrom wip/jtulach/MultiType11846Jan 7, 2025
+675-160
Commits
Commits on Dec 19, 2024
- committed
- committed
- committed
- committed
Commits on Dec 20, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 21, 2024
Commits on Dec 28, 2024
Commits on Dec 30, 2024
- committed
- committed
- committed
- committed
- committed
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}