Find out what's happening in Agda Meetup groups around the world and start meeting up with the ones near you.
Agda Meetups are just getting started. You can
start your own or check out related topics
Or sign up with email
Already a member? Log in.