Following
@idris-lang.orgEdwin Brady @edwin.type-driven.org.uk 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/edwinb/ https://www.lambda-miners.org.uk/
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app