You are not logged in
Bluesky Follows
@
idris-lang.org
@idris-lang.org
48 followers, 2 follows, 0 posts
Follows by @idris-lang.org
Edwin Brady
@edwin.type-driven.org.uk
550 followers, 336 follows, 522 posts
Registered:17 Nov 2024 12:05
Follow date:27 Jan 2025 15:17
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk... https://www.lambda-miners.org....
Bluesky verifier
@bsky.app
32,186,843 followers, 4 follows, 718 posts
Registered:12 Apr 2023 04:53
Follow date:27 Jan 2025 15:16
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app