Revision as of 19:59, 24 February 2022 edit Skyerise (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 149,364 edits →External links: promote two external links to further reading ← Previous edit		Revision as of 14:41, 29 July 2022 edit undo Johnterickson (talk \| contribs) 5 edits →External links: Fix broken link Tags: Reverted Mobile edit Mobile web edit Next edit →
Line 137: == External links == * {{Official website\|wiki.portal.chalmers.se/agda}} * [https://~~www.~~youtube.com/playlist?plist=~~B7F836675DCE009C~~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://people.inf.elte.hu/divip/AgdaTutorial/Index.html Agda Tutorial: "explore programming in Agda without theoretical background"]

Agda (programming language): Difference between revisions