Skip to content

Yet more efficient encoding of sum types #1348

Yet more efficient encoding of sum types

Yet more efficient encoding of sum types #1348