Ergonomic Self-Referential Types for Rust| blog.yoshuawuyts.com
This post is meant as an explainer about how substructural type theory can be applied in programming| without.boats
