🍋 Ende Jin✨🤩✨ @endexl@types.pl
Type Theory Forall @ttforall@types.pl
mattam @mattam@types.pl
Sebastian Ullrich @kha@functional.cafe
Jules @julesjacobs@discuss.systems
jonoodle :cat_yawn: @ionchy@types.pl
Rafaël Bocquet @rafaelbocquet@mathstodon.xyz
Ismail Kuru @ismailkuru@types.pl
Max S. New ⚜️ @maxsnew@types.pl
Bas Spitters @spitters@mastodon.social
Bob Atkey @bentnib@types.pl
John Carlos Baez @johncarlosbaez@mathstodon.xyz

Resources

Developers

What is Mastodon?

types.pl

More…

v3.5.5+types · Privacy policy