Following

Peter Hebden

@piturnah@mathstodon.xyz

|==> (P∗Q) ⊢ |==> P ∗ |==> Q ?

@markusde@mathstodon.xyz

Dan Piponi

@dpiponi@mathstodon.xyz

SIGPLAN

@sigplan@discuss.systems

Alexis King

@lexi_lambda@mastodon.social

Tim Henke (tɪm 'ɦɛŋ.kə)

@timhenke@mathstodon.xyz

David Corfield

@dcorfield@mastodon.social

Unison Programming Language

@unison@fosstodon.org

effectfully

@effectfully@mathstodon.xyz