Revision as of 14:12, 17 September 2024 edit Jerryobject (talk \| contribs) Extended confirmed users 16,278 edits Infobox parameters update. WP:LINKs: adds, update-standardize. ← Previous edit		Revision as of 17:19, 20 September 2024 edit undo 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 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] * [~~http~~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