Revision as of 20:05, 29 February 2020 edit Alexanderaltman (talk \| contribs) 123 edits m →top: Cleanup and accessibility. Tag: Visual edit ← Previous edit		Revision as of 15:38, 16 March 2020 edit undo Soimort (talk \| contribs) 92 edits Agda 2.6.1 Next edit →
Line 8: \| designer = Ulf Norell; Catarina Coquand (1.0) \| developer = Ulf Norell; Catarina Coquand (1.0) \| latest release version = 2.6.0.1 \| latest release date = {{Start date and age\|~~2019~~2020\|0503\|1716}} \| latest test version = \| latest test date =

Agda (programming language): Difference between revisions