Revision as of 11:40, 20 July 2025 edit Frap (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 35,588 edits No edit summary ← Previous edit		Latest revision as of 21:31, 21 July 2025 edit undo Stschaef (talk \| contribs) 15 edits No edit summary
Line 11: \| developer = [[Chalmers University of Technology]] \| released = 1.0 – {{Start date and age\|1999}}<br/>2.0 – {{Start date and age\|2007}} \| latest release version = 2.78.0 \| latest release date = {{Start date and age\|~~2024~~2025\|0807\|1605}} \| latest preview version = \| latest preview date =

Agda (programming language): Difference between revisions