Nemeski@mander.xyz to Elixir@programming.dev · 16 days agoLazy BDDs with eager literal intersectionsplus-squareelixir-lang.orgexternal-linkmessage-square0linkfedilinkarrow-up16
arrow-up16external-linkLazy BDDs with eager literal intersectionsplus-squareelixir-lang.orgNemeski@mander.xyz to Elixir@programming.dev · 16 days agomessage-square0linkfedilink
Nemeski@mander.xyz to Elixir@programming.dev · 3 months agoLazier Binary Decision Diagrams (BDDs) for set-theoretic typesplus-squareelixir-lang.orgexternal-linkmessage-square0linkfedilinkarrow-up13
arrow-up13external-linkLazier Binary Decision Diagrams (BDDs) for set-theoretic typesplus-squareelixir-lang.orgNemeski@mander.xyz to Elixir@programming.dev · 3 months agomessage-square0linkfedilink
