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/
This is a companion discussion topic for the original entry at https://topos.site/blog/2023-11-14-introducing-intertypes/
1 Like