(Q20479)

dependently typed programming language

0 references

programming language

1 reference

0 references

0 references

2007

1 reference

image

Agda proof.jpg
2,653 × 1,764; 555 KB

0 references

influenced by

Coq

1 reference

Epigram

1 reference

Haskell

1 reference

purely functional programming

programming paradigm

0 references

operating system

Microsoft Windows

1 reference

Unix-like operating system

1 reference

source code repository URL

programmed in

Haskell

0 references

https://github.com/agda/agda

version control system

Git

web interface software

GitHub

0 references

software quality assurance

continuous integration

described at URL

https://github.com/agda/agda//blob/master/.travis.yml

archive URL

https://travis-ci.org/agda/agda

1 reference

software version identifier

5 October 2016

2.5.1.1

21 June 2016

2 references

http://hackage.haskell.org/package/Agda-2.5.1.1/changelog

18 July 2018

21 June 2016

Release 2.5.1.1 (English)

https://github.com/agda/agda/releases/tag/v2.5.1.1

2.5.3

8 September 2017

1 reference

https://github.com/agda/agda/releases/tag/v2.5.3

17 January 2018

2.4.0.1

16 June 2014

1 reference

18 July 2018

16 June 2014

Release 2.4.0.1 (English)

https://github.com/agda/agda/releases/tag/2.4.0.1

2.4.0.2

29 July 2014

1 reference

18 July 2018

29 July 2014

Release 2.4.0.2 (English)

https://github.com/agda/agda/releases/tag/2.4.0.2

2.4.2

29 August 2014

1 reference

18 July 2018

29 August 2014

Release 2.4.2 (English)

https://github.com/agda/agda/releases/tag/2.4.2

2.4.2.1

13 November 2014

1 reference

18 July 2018

13 November 2014

Release 2.4.2.1 (English)

https://github.com/agda/agda/releases/tag/2.4.2.1

2.4.2.2

26 November 2014

1 reference

18 July 2018

26 November 2014

Release 2.4.2.2 (English)

https://github.com/agda/agda/releases/tag/2.4.2.2

2.4.2.3

25 May 2015

1 reference

18 July 2018

25 May 2015

Release 2.4.2.3 (English)

https://github.com/agda/agda/releases/tag/2.4.2.3

2.4.2.4

26 September 2015

1 reference

18 July 2018

26 September 2015

Release 2.4.2.4 (English)

https://github.com/agda/agda/releases/tag/2.4.2.4

2.4.2.5

18 December 2015

1 reference

18 July 2018

18 December 2015

Release 2.4.2.5 (English)

https://github.com/agda/agda/releases/tag/2.4.2.5

2.5.1

16 April 2016

1 reference

18 July 2018

16 April 2016

Release 2.5.1 (English)

https://github.com/agda/agda/releases/tag/2.5.1

2.5.1.2

25 November 2016

1 reference

18 July 2018

25 November 2016

Release 2.5.1.2 (English)

https://github.com/agda/agda/releases/tag/v2.5.1.2

2.5.2

22 December 2016

1 reference

18 July 2018

22 December 2016

Release 2.5.2 (English)

https://github.com/agda/agda/releases/tag/v2.5.2

2.5.4

2 June 2018

1 reference

18 July 2018

2 June 2018

Release 2.5.4 (English)

https://github.com/agda/agda/releases/tag/v2.5.4

2.5.4.1

19 July 2018

1 reference

https://github.com/agda/agda/releases/tag/v2.5.4.1

Release 2.5.4.1 (English)

19 July 2018

19 July 2018

2.0.0

4 June 2007

1 reference

https://github.com/agda/agda/releases/tag/2_0_0

13 August 2018

Release 2.0.0 (English)

4 June 2007

2.0.1

6 July 2007

1 reference

https://github.com/agda/agda/releases/tag/2_0_1

13 August 2018

Release 2.0.1 (English)

6 July 2007

2.1.0

13 July 2007

1 reference

https://github.com/agda/agda/releases/tag/2_1_0

13 August 2018

Release 2.1.0 (English)

13 July 2007

2.1.2

16 August 2007

1 reference

https://github.com/agda/agda/releases/tag/2_1_2

13 August 2018

Release 2.1.2 (English)

16 August 2007

2.2.0

17 March 2009

1 reference

https://github.com/agda/agda/releases/tag/2_2_0

13 August 2018

Release 2.2.0 (English)

17 March 2009

2.2.2

16 April 2009

1 reference

https://github.com/agda/agda/releases/tag/2_2_2

13 August 2018

Release 2.2.2 (English)

16 April 2009

2.2.4

7 July 2009

1 reference

https://github.com/agda/agda/releases/tag/2_2_4

13 August 2018

Release 2.2.4 (English)

7 July 2009

2.2.6

23 December 2009

1 reference

https://github.com/agda/agda/releases/tag/2_2_6

13 August 2018

Release 2.2.6 (English)

23 December 2009

2.2.8

27 September 2010

1 reference

https://github.com/agda/agda/releases/tag/2_2_8

13 August 2018

Release 2.2.8 (English)

27 September 2010

2.2.10

20 February 2011

1 reference

https://github.com/agda/agda/releases/tag/2_2_10

13 August 2018

Release 2.2.10 (English)

20 February 2011

2.3.0

23 November 2011

1 reference

https://github.com/agda/agda/releases/tag/2_3_0

13 August 2018

Release 2.3.0 (English)

23 November 2011

2.3.2

12 November 2012

1 reference

https://github.com/agda/agda/releases/tag/2_3_2

13 August 2018

Release 2.3.2 (English)

12 November 2012

2.3.2.1

4 June 2013

1 reference

https://github.com/agda/agda/releases/tag/2_3_2_1

13 August 2018

Release 2.3.2.1 (English)

4 June 2013

2.3.2.2

27 September 2013

1 reference

https://github.com/agda/agda/releases/tag/2_3_2_2

13 August 2018

Release 2.3.2.2 (English)

27 September 2013

2.4.0

5 June 2014

1 reference

https://github.com/agda/agda/releases/tag/2_4_0

13 August 2018

Release 2.4.0 (English)

5 June 2014

2.5.4.2

29 October 2018

1 reference

https://github.com/agda/agda/releases/tag/v2.5.4.2

29 October 2018

Release 2.5.4.2 (English)

29 October 2018

2.6.0

12 April 2019

1 reference

https://github.com/agda/agda/releases/tag/v2.6.0

12 April 2019

Release 2.6.0 (English)

12 April 2019

2.6.0.1

14 May 2019

1 reference

https://github.com/agda/agda/releases/tag/v2.6.0.1

14 May 2019

Release 2.6.0.1 (English)

14 May 2019

2.6.1

16 March 2020

1 reference

https://github.com/agda/agda/releases/tag/v2.6.1

16 March 2020

Release 2.6.1 (English)

16 March 2020

2.6.1.1

7 September 2020

1 reference

https://github.com/agda/agda/releases/tag/v2.6.1.1

7 October 2020

Release 2.6.1.1 (English)

7 September 2020

2.6.1.2

16 January 2021

1 reference

https://github.com/agda/agda/releases/tag/v2.6.1.2

6 February 2021

Release 2.6.1.2 (English)

16 January 2021

2.6.1.3

7 February 2021

1 reference

https://github.com/agda/agda/releases/tag/v2.6.1.3

9 March 2021

Release 2.6.1.3 (English)

7 February 2021

2.6.2

19 June 2021

1 reference

https://github.com/agda/agda/releases/tag/v2.6.2

21 June 2021

Release 2.6.2 (English)

19 June 2021

2.6.2.1

8 December 2021

1 reference

https://github.com/agda/agda/releases/tag/v2.6.2.1

2 October 2022

Release 2.6.2.1 (English)

8 December 2021

2.6.2.2

2 April 2022

1 reference

https://github.com/agda/agda/releases/tag/v2.6.2.2

2 October 2022

Release 2.6.2.2 (English)

https://github.com/agda/agda/releases/tag/v2.6.3

2 April 2022

2.6.3

30 January 2023

1 reference

5 February 2023

Release 2.6.3 (English)

https://github.com/agda/agda/releases/tag/v2.6.4

30 January 2023

2.6.4

6 October 2023

1 reference

19 October 2023

Release 2.6.4 (English)

https://github.com/agda/agda/releases/tag/v2.6.4.1

6 October 2023

2.6.4.1

30 November 2023

1 reference

19 December 2023

Release 2.6.4.1 (English)

https://github.com/agda/agda/releases/tag/v2.6.4.3

30 November 2023

2.6.4.3

6 March 2024

1 reference

19 March 2024

Release 2.6.4.3 (English)

https://wiki.portal.chalmers.se/agda/pmwiki.php

6 March 2024

official website

language of work or name

English

2 references

https://api.github.com/repos/agda/agda

https://api.github.com/repos/agda/agda

16 December 2018

copyright license

BSD licenses

2 references

Chinese Wikipedia

0 references

1 reference

https://en.wikipedia.org/w/index.php?title=Agda_%28programming_language%29&oldid=991553356

Wikimedia import URL

manifest typing

1 reference

https://en.wikipedia.org/w/index.php?title=Agda_%28programming_language%29&oldid=991553356

Wikimedia import URL

0 references

0 references

0 references

0 references

agda

1 reference

lagda

1 reference