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