tvda Karma 25 Created 3 months ago Recent Submissions 1. ▲ Lazier Binary Decision Diagrams for set-theoretic types (elixir-lang.org) 51 points · 3 months ago · 5 comments All submissions on HN · View profile on HN