- Install Agda on your own PC or try out Agda in the browser with the Agda Pad.
- Get your feet wet with a taste of Agda or one of the other language tutorials.
- Read about library management and other Agda features in the user manual.
- Ask any questions on the Agda mailing list or on the Agda Zulip server.
- Report bugs and feature requests to the issue tracker.
Page last modified on October 25, 2026, at 03:55 pm
Powered by
PmWiki