Skip to content

Improvement to 'Embeddable' typeclass through 'Embedding' GADT - #21

Merged
RobinWebbers merged 7 commits into
mainfrom
hetero-embed
Jul 31, 2026
Merged

Improvement to 'Embeddable' typeclass through 'Embedding' GADT#21
RobinWebbers merged 7 commits into
mainfrom
hetero-embed

Commits

  1. Commits on Jul 30, 2026

  2. Commits on Jul 31, 2026