Revision as of 03:03, 7 February 2021 edit Citation bot (talk \| contribs) Bots 5,864,855 edits Misc citation tidying. \| You can use this bot yourself. Report bugs here. \| Suggested by Abductive \| Category:Cross-platform free software \| via #UCB_Category 59/379 ← Previous edit		Revision as of 11:24, 26 August 2021 edit undo 194.15.135.14 (talk) Changed stable version to 2.6.2, see https://wiki.portal.chalmers.se/agda/Main/Download Next edit →
Line 8: \| designer = Ulf Norell; Catarina Coquand (1.0) \| developer = Ulf Norell; Catarina Coquand (1.0) \| latest release version = 2.6.12 \| latest release date = {{Start date and age\|~~2020~~2021\|0306\|1619}} \| latest test version = \| latest test date =

Agda (programming language): Difference between revisions