Gopiandcode @Gopiandcode@ocamlot.xyz
Aziem Chawdhary @aziem@types.pl
GK @GK@discuss.systems
Matthew Parkinson @parky@discuss.systems
Type Theory Forall @ttforall@types.pl
Max Willsey @mwillsey@discuss.systems
mattam @mattam@types.pl
RanaldClouston @RanaldClouston@fediscience.org
Gabe Parmer @gparmer@discuss.systems
Rachit @notypes@discuss.systems
Jules @julesjacobs@discuss.systems
Pratap Singh @pratap@mastodon.acm.org

Resources

Developers

What is Mastodon?

types.pl

More…

v3.5.5+types · Privacy policy