Revision as of 14:41, 29 July 2022 edit Johnterickson (talk \| contribs) 5 edits →External links: Fix broken link Tags: Reverted Mobile edit Mobile web edit ← Previous edit		Revision as of 14:42, 29 July 2022 edit undo XLinkBot (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 720,177 edits BOT--Reverting link addition(s) by Johnterickson to revision 1073817105 (youtube.com/playlist?list=PLB7F836675DCE009C [\byoutube\.com]) Tag: Manual revert Next edit →
Line 137: == External links == * {{Official website\|wiki.portal.chalmers.se/agda}} * [https://www.youtube.com/playlist?~~list~~p=~~PLB7F836675DCE009C~~B7F836675DCE009C 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