Following

Colin Gordon

@csgordon@discuss.systems

Garrett Morris

@GarrettM@mathstodon.xyz

Panicz Maciej Godek

@PaniczGodek@functional.cafe

Jesper Agdakx 🔸

@jesper@agda.club

Alex Kavvos

@lambdabetaeta@mathstodon.xyz

Jeremy Gibbons

@jer_gib@functional.cafe