Revision as of 17:21, 20 September 2024 edit Great.vehicle (talk \| contribs) 34 edits m →External links: typo - trailing / character mangled url ← Previous edit		Revision as of 16:39, 11 October 2024 edit undo 2001:fb1:49:25d6:94ac:984d:510f:f139 (talk) No edit summary Tags: Reverted Mobile edit Mobile web edit Next edit →
Line 1: {{Short description\|Functional programming language}} {{Distinguish\|~~text~~ture = the programming language [[Ada (programming language)\|Ada]]}} {{Use dmy dates\|date=September 2024}} {{Infobox programming language

Agda (programming language): Difference between revisions