Revision as of 11:17, 13 April 2023 edit Pooya44 (talk \| contribs) 14 edits m →External links ← Previous edit		Revision as of 11:23, 13 April 2023 edit undo Pooya44 (talk \| contribs) 14 edits m →External links Next edit →
Line 138: * [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"] * [https://www.youtube.com/playlist?list=PLtIZ5qxwSNnzpNqfXzJjlHI9yCAzRzKtx HoTTEST Summer School 2022], 66 lectures on Homotopy Type Theory, including a number of introductory lectures and exercises on Agda {{Projects at Chalmers University of Technology}}

Agda (programming language): Difference between revisions