Revision as of 23:22, 21 January 2022 edit Skarmory (talk \| contribs) Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers, Rollbackers 13,757 edits m Unexplained removal of content by Oecarl; I do recognize it is unsourced, but they also left it cut off at "when compared with", so... Tag: Rollback ← Previous edit		Revision as of 19:59, 24 February 2022 edit undo Skyerise (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 149,364 edits →External links: promote two external links to further reading Next edit →
Line 129: == References == {{reflist}} ==Further reading== * {{cite web \|first1=Ana \|last1=Bove \|first2=Peter \|last2=Dybjer \|first3=Ulf \|last3=Norell \|date=n.d. * [\|url=http://www.cse.chalmers.se/~ulfn/papers/tphols09/tutorial.pdf A \|title=Brief Overview of Agda], by– ~~Ana Bove,~~A ~~Peter~~Functional ~~Dybjer,~~Language ~~and~~with ~~[[Ulf~~Dependent ~~Norell]]~~Types}}▼ * [{{cite web \|first1=Ulf \|last1=Norell \|first2=James \|last2=Chapman \|date=n.d. \|url=http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf \|title=Dependently Typed Programming in Agda~~], by [[Ulf Norell]]~~}}▼ == External links == * {{Official website\|wiki.portal.chalmers.se/agda}} ▲* [http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf Dependently Typed Programming in Agda], by [[Ulf Norell]] ▲* [http://www.cse.chalmers.se/~ulfn/papers/tphols09/tutorial.pdf A Brief Overview of Agda], by Ana Bove, Peter Dybjer, and [[Ulf Norell]] * [https://www.youtube.com/playlist?p=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]

Agda (programming language): Difference between revisions