Introducing InterTypes

Topos Institute

Thu Feb 22 2024

This is a crosspost from the AlgebraicJulia blog.

---

This is a companion discussion topic for the original entry at https://topos.site/blog/2023-11-14-introducing-intertypes/