Agda Meetings

(redirected from Main.AgdaIntensiveMeetings)

See also the guide to organizing an Agda meeting.

Page last modified on January 25, 2023, at 04:28 PM
Powered by PmWiki