Following

Ryan Williams

@rrwilliams@mastodon.social

Jeremy Gibbons

@jer_gib@functional.cafe

Ulrik Buchholtz

@buchholtz@mathstodon.xyz

Thor

@taooftypes@mathstodon.xyz

Owen Lynch

@olynch@mathstodon.xyz

Bob Nystrom

@munificent@mastodon.social

Alley Stoughton

@fullyabstract@fosstodon.org

Lean

@leanprover@functional.cafe

Michel Steuwer

@michel@mastodon.acm.org

Racket

@racketlang@functional.cafe

Matt Might

@mattmight@mathstodon.xyz