Revision as of 14:42, 29 July 2022 edit 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 ← Previous edit		Revision as of 21:43, 25 August 2022 edit undo Tisnec (talk \| contribs) Extended confirmed users 1,952 edits Hatnote to distinguish from Ada Next edit →
Line 1: {{short description\|Functional programming language}} {{distinguish\|text = the programming language [[Ada (programming language)\|Ada]]}} {{Infobox programming language \| name = Agda

Agda (programming language): Difference between revisions