Revision as of 20:20, 6 June 2023 edit 76.77.185.205 (talk) Add mention to VS Code mode Tag: Visual edit ← Previous edit		Revision as of 06:13, 19 September 2023 edit undo Jerryobject (talk \| contribs) Extended confirmed users 16,278 edits →External links: WP:NAVBOXes: add, update. Next edit →
Line 140: * [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 {{Haskell programming}} {{~~Projects at~~ Chalmers University of Technology}} [[Category:Programming languages]]

Agda (programming language): Difference between revisions