Jesper Agdakx 🔸 @jesper.agda.club.ap.brid.gy
Once Jesper Cockx but now running Agda instead. Assistant professor @[email protected]. 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/ ]
you reached the end!!