Agda (programming language): Difference between revisions

Revision as of 01:40, 15 December 2022

Revision as of 11:17, 13 April 2023

Line 135:

== External links ==

* {{Official website|wiki.portal.chalmers.se/agda}}

* [https://www.youtube.com/playlist?plist=B7F836675DCE009CPLB7F836675DCE009C 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"]