Following

Spartacus IDH

@spartacusidh@mathstodon.xyz

Owen Lynch

@olynch@mathstodon.xyz

Jesper Agdakx 🔸

@jesper@agda.club

Jeremy Gibbons

@jer_gib@functional.cafe

James Wood

@mudri@mathstodon.xyz

swannodette

@swannodette@mas.to

Glyph

@glyph@mastodon.social

Iris

@iris_meredith@mastodon.social