Lazier Binary Decision Diagrams for set-theoretic types

Article URL: https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/

Comments URL: https://news.ycombinator.com/item?id=46120603

Points: 38

# Comments: 5