Following

Patrik Jansson

@patrikja@functional.cafe

Jon Sterling

@jonmsterling@mathstodon.xyz

Andreas Nuyts

@anuytstt@fosstodon.org

Ulrik Buchholtz

@buchholtz@mathstodon.xyz

Dan Christensen

@jdchristensen@mathstodon.xyz

Evan Cavallo

@ecavallo@mathstodon.xyz

Andrew W Swan

@aws@mathstodon.xyz

Jesper Agdakx 🔸

@jesper@agda.club

Talia Ringer

@TaliaRinger@mathstodon.xyz

Jeremy Gibbons

@jer_gib@functional.cafe

daniel gratzer

@danielgratzer@mathstodon.xyz