Suppose I made some slides
@ionchy definitely fun. Did you see my little presentation? It was just me rambling out loud until someone interrupted my thoughts
@ionchy i'm pretty sure sizes correspond to boxes for me but i don't know enough about sizes to claim that
@ionchy i am very open to the argument that my stratification primitives are just another perspective on sizes, just not explicit
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.