Svelte Hacker News logo
  • top
  • new
  • show
  • ask
  • jobs
  • about

Lazier Binary Decision Diagrams for set-theoretic types

elixir-lang.org

9 points by tvda 3 hours ago