@jesper.agda.club.ap.brid.gy on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Profile

Jesper Agdakx 🔸

jesper.agda.club.ap.brid.gy

did:plc:f4v3b24aw4byncaqzane3cta

Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective […] [bridged from https://agda.club/users/jesper on the fediverse by https://fed.brid.gy/ ]