Agda (programming language): Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 21:3121:31, 21 July 2025 Stschaef talk contribs 13,917 bytes 0 No edit summary undo

curprev 11:4011:40, 20 July 2025 Frap talk contribs 13,917 bytes −39 No edit summary undo
curprev 00:3300:33, 20 July 2025 204.8.158.101 talk 13,956 bytes −27 No edit summary undo

curprev 12:3012:30, 18 May 2025 2003:e3:2f28:ead5:dc92:8d58:c52c:484 talk 13,983 bytes +1 Coq has been renamed to Rocq undo

curprev 17:0817:08, 18 March 2025 Hamsterdamn talk contribs m 13,982 bytes +8 use https undo

curprev 10:1510:15, 20 February 2025 Alexflatter talk contribs 13,404 bytes +20 No edit summary undo Tag: Manual revert

curprev 22:4122:41, 9 February 2025 IceWelder talk contribs m 13,384 bytes −20 →top: remove arbitrary fixed sizes undo Tags: AWB Manual revert Reverted
curprev 10:3310:33, 9 February 2025 Matt Wilkinsson talk contribs 13,404 bytes +20 No edit summary undo Tag: Reverted

curprev 22:5422:54, 30 October 2024 Zerbu talk contribs 13,384 bytes −1 Wikipedia:Categories for discussion/Log/2024 October 21#Category:Free compilers and interpreters undo

curprev 17:5817:58, 11 October 2024 Jlwoodwa talk contribs 13,385 bytes 0 Reverting edit(s) by 2001:FB1:49:25D6:94AC:984D:510F:F139 (talk) to rev. 1246719711 by Great.vehicle: Vandalism (UV 0.1.6) undo Tags: Ultraviolet Undo
curprev 16:3916:39, 11 October 2024 2001:fb1:49:25d6:94ac:984d:510f:f139 talk 13,385 bytes 0 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 17:2117:21, 20 September 2024 Great.vehicle talk contribs m 13,385 bytes −1 →External links: typo - trailing / character mangled url undo
curprev 17:1917:19, 20 September 2024 Great.vehicle talk contribs m 13,386 bytes +12 →External links: external link is forbidden and no usable archive seems to exist, however direct link to start page works undo

curprev 14:1214:12, 17 September 2024 Jerryobject talk contribs 13,374 bytes +103 Infobox parameters update. WP:LINKs: adds, update-standardize. undo
curprev 00:5000:50, 17 September 2024 Jerryobject talk contribs 13,271 bytes −7 Adds: Template:Use dmy dates (MOS:DATETIES), MOS:COMMENT, WP:CATEGORY. Template:Infobox programming language parameters: update-standardize-conform corrects. WP:LINKs: update-standardizes, needless WP:PIPEs > WP:NOPIPEs, adds. Cut needless whitespace character spaces to standardize, aid work via small screens. Small WP:COPYEDITs WP:EoS: clarify, WP:TERSE. Cut needless carriage returns in WP:REFerence WP:CITation. undo

curprev 04:3504:35, 19 July 2024 MaybeitsMir talk contribs m 13,278 bytes −22 Reverted 1 edit by 41.36.135.172 (talk) to last revision by 2A02:8308:101:CA00:359B:CE83:9C13:1DEC undo Tags: Twinkle Undo
curprev 04:2104:21, 19 July 2024 41.36.135.172 talk 13,300 bytes +22 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 08:0108:01, 16 May 2024 2a02:8308:101:ca00:359b:ce83:9c13:1dec talk 13,278 bytes −23 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 03:0003:00, 13 December 2023 123popos123 talk contribs m 13,301 bytes −28 ?.. undo

curprev 19:5519:55, 12 November 2023 ElliAWB talk contribs m 13,329 bytes +60 Disambiguating links to Coq (link changed to Coq (software); link changed to Coq (software); link changed to Coq (software); link changed to Coq (software)) using DisamAssist. undo

curprev 07:0807:08, 25 October 2023 176.116.61.70 talk 13,269 bytes +23 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

curprev 11:4311:43, 1 October 2023 49.237.46.66 talk 13,246 bytes −4 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

curprev 06:1306:13, 19 September 2023 Jerryobject talk contribs 13,250 bytes +12 →External links: WP:NAVBOXes: add, update. undo

curprev 20:2020:20, 6 June 2023 76.77.185.205 talk 13,238 bytes +236 Add mention to VS Code mode undo Tag: Visual edit

curprev 09:0709:07, 18 April 2023 155.4.128.63 talk 13,002 bytes +88 No edit summary undo

curprev 23:0023:00, 14 April 2023 Julian Mendez talk contribs 12,914 bytes 0 updated version number undo

curprev 11:2311:23, 13 April 2023 Pooya44 talk contribs m 12,914 bytes +208 →External links undo
curprev 11:1711:17, 13 April 2023 Pooya44 talk contribs m 12,706 bytes +5 →External links undo

curprev 01:4001:40, 15 December 2022 Skyerise talk contribs 12,701 bytes −75 →See also: list undo

curprev 15:3215:32, 14 December 2022 Skyerise talk contribs 12,776 bytes +4 add link undo

curprev 21:4321:43, 25 August 2022 Tisnec talk contribs 12,772 bytes +83 Hatnote to distinguish from Ada undo

curprev 14:4214:42, 29 July 2022 XLinkBot talk contribs 12,689 bytes −1 BOT--Reverting link addition(s) by Johnterickson to revision 1073817105 (youtube.com/playlist?list=PLB7F836675DCE009C [\byoutube\.com]) undo Tag: Manual revert
curprev 14:4114:41, 29 July 2022 Johnterickson talk contribs 12,690 bytes +1 →External links: Fix broken link undo Tags: Reverted Mobile edit Mobile web edit

curprev 19:5919:59, 24 February 2022 Skyerise talk contribs 12,689 bytes +201 →External links: promote two external links to further reading undo

curprev 23:2223:22, 21 January 2022 Skarmory talk contribs m 12,488 bytes +574 Unexplained removal of content by Oecarl; I do recognize it is unsourced, but they also left it cut off at "when compared with", so... undo Tag: Rollback
curprev 23:2023:20, 21 January 2022 Oecarl talk contribs 11,914 bytes −574 →Metavariables undo Tag: Reverted

curprev 04:0704:07, 31 December 2021 Beland talk contribs m 12,488 bytes +38 MOS:BBB, convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

curprev 19:3119:31, 31 October 2021 Citation bot talk contribs 12,450 bytes +22 Add: website. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 64/1954 undo

curprev 11:2411:24, 26 August 2021 194.15.135.14 talk 12,428 bytes 0 Changed stable version to 2.6.2, see https://wiki.portal.chalmers.se/agda/Main/Download undo

curprev 03:0303:03, 7 February 2021 Citation bot talk contribs 12,428 bytes +2 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 undo

curprev 17:4117:41, 30 November 2020 Jarble talk contribs m 12,426 bytes +4 linking undo

curprev 18:5018:50, 24 October 2020 81.229.203.97 talk 12,422 bytes +130 →Agda (programming language): Added links undo Tags: canned edit summary Mobile edit Mobile app edit Android app edit

curprev 23:3423:34, 11 June 2020 Clayrat talk contribs 12,292 bytes +35 →See also undo

curprev 15:1615:16, 11 May 2020 DannyS712 bot talk contribs m 12,257 bytes +108 Update syntaxhighlight tags - remove use of deprecated <source> tags - BOT in trial - BRFA undo Tag: AWB

curprev 13:3913:39, 27 April 2020 Omnipaedista talk contribs 12,149 bytes 0 standardized punct. undo

Agda (programming language): Revision history

21 July 2025

20 July 2025

18 May 2025

18 March 2025

17 March 2025

20 February 2025

9 February 2025

30 October 2024

11 October 2024

20 September 2024

17 September 2024

19 July 2024

16 May 2024

13 December 2023

12 November 2023

25 October 2023

1 October 2023

19 September 2023

6 June 2023

18 April 2023

14 April 2023

13 April 2023

15 December 2022

14 December 2022

25 August 2022

29 July 2022

24 February 2022

21 January 2022

31 December 2021

31 October 2021

26 August 2021

7 February 2021

30 November 2020

24 October 2020

11 June 2020

11 May 2020

27 April 2020