Following

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

ICFP Conference

@icfp_conference@mastodon.acm.org

Bart Jacobs

@bjacobs@social.edu.nl

Sára Juhošová

@sarantja@mastodon.social

Jon Sterling

@jonmsterling@mathstodon.xyz

Satnam Singh

@satnam6502@mastodon.social

Thor

@taooftypes@mathstodon.xyz

Daniel Hillerström

@dhil@mathstodon.xyz

PLCon

@plcon@mastodon.acm.org

Jesper Agdakx 🔸

@jesper@agda.club