(Q20479)
Statements
1 reference
2.5.1.1
21 June 2016
2 references
18 July 2018
21 June 2016
Release 2.5.1.1 (English)
2.5.3
8 September 2017
1 reference
17 January 2018
2.4.0.1
16 June 2014
1 reference
18 July 2018
16 June 2014
Release 2.4.0.1 (English)
2.4.0.2
29 July 2014
1 reference
18 July 2018
29 July 2014
Release 2.4.0.2 (English)
2.4.2
29 August 2014
1 reference
18 July 2018
29 August 2014
Release 2.4.2 (English)
2.4.2.1
13 November 2014
1 reference
18 July 2018
13 November 2014
Release 2.4.2.1 (English)
2.4.2.2
26 November 2014
1 reference
18 July 2018
26 November 2014
Release 2.4.2.2 (English)
2.4.2.3
25 May 2015
1 reference
18 July 2018
25 May 2015
Release 2.4.2.3 (English)
2.4.2.4
26 September 2015
1 reference
18 July 2018
26 September 2015
Release 2.4.2.4 (English)
2.4.2.5
18 December 2015
1 reference
18 July 2018
18 December 2015
Release 2.4.2.5 (English)
2.5.1
16 April 2016
1 reference
18 July 2018
16 April 2016
Release 2.5.1 (English)
2.5.1.2
25 November 2016
1 reference
18 July 2018
25 November 2016
Release 2.5.1.2 (English)
2.5.2
22 December 2016
1 reference
18 July 2018
22 December 2016
Release 2.5.2 (English)
2.5.4
2 June 2018
1 reference
18 July 2018
2 June 2018
Release 2.5.4 (English)
2.5.4.1
19 July 2018
1 reference
Release 2.5.4.1 (English)
19 July 2018
19 July 2018
2.0.0
4 June 2007
1 reference
13 August 2018
Release 2.0.0 (English)
4 June 2007
2.0.1
6 July 2007
1 reference
13 August 2018
Release 2.0.1 (English)
6 July 2007
2.1.0
13 July 2007
1 reference
13 August 2018
Release 2.1.0 (English)
13 July 2007
2.1.2
16 August 2007
1 reference
13 August 2018
Release 2.1.2 (English)
16 August 2007
2.2.0
17 March 2009
1 reference
13 August 2018
Release 2.2.0 (English)
17 March 2009
2.2.2
16 April 2009
1 reference
13 August 2018
Release 2.2.2 (English)
16 April 2009
2.2.4
7 July 2009
1 reference
13 August 2018
Release 2.2.4 (English)
7 July 2009
2.2.6
23 December 2009
1 reference
13 August 2018
Release 2.2.6 (English)
23 December 2009
2.2.8
27 September 2010
1 reference
13 August 2018
Release 2.2.8 (English)
27 September 2010
2.2.10
20 February 2011
1 reference
13 August 2018
Release 2.2.10 (English)
20 February 2011
2.3.0
23 November 2011
1 reference
13 August 2018
Release 2.3.0 (English)
23 November 2011
2.3.2
12 November 2012
1 reference
13 August 2018
Release 2.3.2 (English)
12 November 2012
2.3.2.1
4 June 2013
1 reference
13 August 2018
Release 2.3.2.1 (English)
4 June 2013
2.3.2.2
27 September 2013
1 reference
13 August 2018
Release 2.3.2.2 (English)
27 September 2013
2.4.0
5 June 2014
1 reference
13 August 2018
Release 2.4.0 (English)
5 June 2014
2.5.4.2
29 October 2018
1 reference
29 October 2018
Release 2.5.4.2 (English)
29 October 2018
2.6.0
12 April 2019
1 reference
12 April 2019
Release 2.6.0 (English)
12 April 2019
2.6.0.1
14 May 2019
1 reference
14 May 2019
Release 2.6.0.1 (English)
14 May 2019
2.6.1
16 March 2020
1 reference
16 March 2020
Release 2.6.1 (English)
16 March 2020
2.6.1.1
7 September 2020
1 reference
7 October 2020
Release 2.6.1.1 (English)
7 September 2020
2.6.1.2
16 January 2021
1 reference
6 February 2021
Release 2.6.1.2 (English)
16 January 2021
2.6.1.3
7 February 2021
1 reference
9 March 2021
Release 2.6.1.3 (English)
7 February 2021
2.6.2
19 June 2021
1 reference
21 June 2021
Release 2.6.2 (English)
19 June 2021
2.6.2.1
8 December 2021
1 reference
2 October 2022
Release 2.6.2.1 (English)
8 December 2021
2.6.2.2
2 April 2022
1 reference
2 October 2022
Release 2.6.2.2 (English)
2 April 2022
2.6.3
30 January 2023
1 reference
5 February 2023
Release 2.6.3 (English)
30 January 2023
2.6.4
6 October 2023
1 reference
19 October 2023
Release 2.6.4 (English)
6 October 2023
2.6.4.1
30 November 2023
1 reference
19 December 2023
Release 2.6.4.1 (English)
30 November 2023
2.6.4.3
6 March 2024
1 reference
19 March 2024
Release 2.6.4.3 (English)
6 March 2024
2.7.0
16 August 2024
1 reference
Release v2.7.0 · agda/agda (English)
19 August 2024
2.7.0.1
12 September 2024
1 reference
20 September 2024
Release 2.7.0.1 (English)
12 September 2024
Identifiers
Sitelinks
Wikipedia(10 entries)
- elwiki Agda
- enwiki Agda (programming language)
- fawiki آگدا (زبان برنامهنویسی)
- jawiki Agda
- kowiki Agda
- nlwiki Agda
- ruwiki Agda
- ukwiki Agda
- zh_yuewiki Agda
- zhwiki Agda