Subject: Agda developer's mailing list

You've made a subscription request to agda-dev. To confirm your request, please click the button below: