Revision as of 17:19, 20 September 2024 edit Great.vehicle (talk \| contribs) 34 edits m →External links: external link is forbidden and no usable archive seems to exist, however direct link to start page works ← Previous edit		Revision as of 17:21, 20 September 2024 edit undo Great.vehicle (talk \| contribs) 34 edits m →External links: typo - trailing / character mangled url Next edit →
Line 135: * [https://www.youtube.com/playlist?list=PLB7F836675DCE009C Introduction to Agda], a five-part YouTube playlist by Daniel Peebles * [http://oxij.org/note/BrutalDepTypes/ Brutal {{bracket\|Meta}}Introduction to Dependent Types in Agda] * [https://people.inf.elte.hu/divip/AgdaTutorial/About.html/ Agda Tutorial: "explore programming in Agda without theoretical background"] * [https://www.youtube.com/playlist?list=PLtIZ5qxwSNnzpNqfXzJjlHI9yCAzRzKtx HoTTEST Summer School 2022], 66 lectures on Homotopy Type Theory, including many introductory lectures and exercises on Agda

Agda (programming language): Difference between revisions