Follow

hm. weird
now that I write how formally how infinite sizes work it's just very weird
at least it's decidable

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.