Revision as of 11:23, 13 April 2023 edit Pooya44 (talk \| contribs) 14 edits m →External links ← Previous edit		Revision as of 23:00, 14 April 2023 edit undo Julian Mendez (talk \| contribs) Extended confirmed users 2,172 edits updated version number Next edit →
Line 9: \| designer = Ulf Norell; Catarina Coquand (1.0) \| developer = Ulf Norell; Catarina Coquand (1.0) \| latest release version = 2.6.23 \| latest release date = {{Start date and age\|~~2021~~2023\|0601\|1930}} \| latest test version = \| latest test date =

Agda (programming language): Difference between revisions