Follow

No solution found after timeout (1000ms)

curb your enthusiasm theme plays

· · Web · 1 · 2 · 2

@hazel
when the imposter (proof term) is sus (refl)

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.