- 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.
- Read one of the language tutorials.
- Ask any questions on the Agda mailing list or on the Agda Zulip server.
Page last modified on November 04, 2022, at 09:49 am
Powered by
PmWiki