You are not logged in
Bluesky Follows
@
eve
@evening.st
13 followers, 1 follows, 0 posts
Follows by @evening.st
Amélia Liao
@ame.fyi
60 followers, 8 follows, 0 posts
Registered:27 Jun 2023 23:02
Follow date:28 Jun 2023 01:08
Compiler engineer moonlighting as a type theorist. Member of the Agda team.