Revision as of 15:50, 17 September 2009 edit 129.16.192.102 (talk) →External links: Updated to current homepage ← Previous edit		Revision as of 15:53, 17 September 2009 edit undo 129.16.192.102 (talk) No edit summary Next edit →
Line 1: {{Infobox programming language \| name = Agda \| paradigm = Functional \| year = \| designer = \| developer = \| latest_release_version = 2.2.24 \| latest_release_date = {{release_date\|2009\|0407\|1607}} \| latest_test_version = \| latest_test_date =

Agda (programming language): Difference between revisions