# content
Lazier Binary Decision Diagrams (BDDs) for set-theoretic types (via jparise) — discussion

#elixir #plt