Follow

achievement unlocked: use new-∀/c

· · Web · 1 · 0 · 1

achievement unlocked 2: use new-∀/c incorrectly

achievement unlocked 3: give up and revert to any/c

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.