I'm in the process of moving to @jer_gib@functional.cafe - if I get this right, my follows and followers should come with me. See you on the other side!
Remote
Jeremy Gibbons
@jer_gib@types.pl
mastodon 4.8.0-alpha.2+glitchProfessor of Computing at University of Oxford: functional programming, types, program construction, verification. Now moved to @jer_gib@functional.cafe
0 Followers
0 Following
3 Posts
Joined November 06, 2022
@hazel All the best for whatever comes next. And thanks for your efforts running this instance.