José Valim 20564ba6d9 Use lazy bdd for all types (#14806) ...

We use Lazy BDDS: ternary trees (instead of binary) where the additional node
encodes a lazy union, as in "COVARIANCE AND CONTRAVARIANCE:
A FRESH LOOK AT AN OLD ISSUE", with some additional optimisations
for intersections and differences to avoid materialising unions.

2025-10-02 19:30:35 +02:00

..

elixir

Use lazy bdd for all types (#14806)

2025-10-02 19:30:35 +02:00

erlang

Add inline License / Copyright to Erlang files (#14255)

2025-02-05 13:50:00 +01:00