Idris (Q15408477)
Jump to navigation
Jump to search
purely functional programming language
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Idris |
purely functional programming language |
Statements
1 reference
0.9.10
28 November 2013
1 reference
15 September 2019
Release 0.9.10 (English)
28 November 2013
0.9.11
4 February 2014
1 reference
15 September 2019
Release 0.9.11 (English)
4 February 2014
0.9.12
4 April 2014
1 reference
15 September 2019
Release 0.9.12 (English)
4 April 2014
0.9.13
3 June 2014
1 reference
15 September 2019
Release 0.9.13 (English)
3 June 2014
0.9.13.1
9 June 2014
1 reference
15 September 2019
Release 0.9.13.1 (English)
9 June 2014
0.9.14
16 July 2014
1 reference
15 September 2019
Release 0.9.14 (English)
16 July 2014
0.9.14.1
30 July 2014
1 reference
15 September 2019
Release 0.9.14.1 (English)
30 July 2014
0.9.14.2
29 August 2014
1 reference
15 September 2019
Release 0.9.14.2 (English)
29 August 2014
0.9.15
26 October 2014
1 reference
15 September 2019
Release 0.9.15 (English)
26 October 2014
0.9.15.1
27 October 2014
1 reference
15 September 2019
Release 0.9.15.1 (English)
27 October 2014
0.9.16
15 January 2015
1 reference
15 September 2019
Release 0.9.16 (English)
15 January 2015
0.9.17
21 March 2015
1 reference
15 September 2019
Release 0.9.17 (English)
21 March 2015
0.9.17.1
23 March 2015
1 reference
15 September 2019
Release 0.9.17.1 (English)
23 March 2015
0.9.18
17 May 2015
1 reference
15 September 2019
Release 0.9.18 (English)
17 May 2015
0.9.18.1
23 May 2015
1 reference
15 September 2019
Release 0.9.18.1 (English)
23 May 2015
0.9.19
31 August 2015
1 reference
15 September 2019
Release 0.9.19 (English)
31 August 2015
0.9.19.1
22 September 2015
1 reference
15 September 2019
Release 0.9.19.1 (English)
22 September 2015
0.9.20
8 November 2015
1 reference
15 September 2019
Release 0.9.20 (English)
8 November 2015
0.9.20.1
15 November 2015
1 reference
15 September 2019
Release 0.9.20.1 (English)
15 November 2015
0.9.20.2
15 December 2015
1 reference
15 September 2019
Release 0.9.20.2 (English)
15 December 2015
0.10
20 January 2016
1 reference
15 September 2019
Release 0.10 (English)
20 January 2016
0.10.1
25 February 2016
1 reference
15 September 2019
Release 0.10.1 (English)
25 February 2016
0.10.2
27 February 2016
1 reference
15 September 2019
Release 0.10.2 (English)
27 February 2016
0.10.3
19 March 2016
1 reference
15 September 2019
Release 0.10.3 (English)
19 March 2016
0.11
25 March 2016
1 reference
15 September 2019
Release 0.11 (English)
25 March 2016
0.11.1
2 May 2016
1 reference
15 September 2019
Release 0.11.1 (English)
2 May 2016
0.11.2
18 May 2016
1 reference
15 September 2019
Release 0.11.2 (English)
18 May 2016
0.12
21 June 2016
1 reference
15 September 2019
Release 0.12 (English)
21 June 2016
0.12.1
26 July 2016
1 reference
15 September 2019
Release 0.12.1 (English)
26 July 2016
0.12.2
3 August 2016
1 reference
15 September 2019
Release 0.12.2 (English)
3 August 2016
0.12.3
18 September 2016
1 reference
15 September 2019
Release 0.12.3 (English)
18 September 2016
0.99
28 November 2016
1 reference
15 September 2019
Release 0.99 (English)
28 November 2016
0.99.1
8 March 2017
1 reference
15 September 2019
Release 0.99.1 (English)
8 March 2017
0.99.2
26 March 2017
1 reference
15 September 2019
Release 0.99.2 (English)
26 March 2017
1.0
1 April 2017
1 reference
15 September 2019
Release 1.0 (English)
1 April 2017
1.0.1
1 August 2017
1 reference
15 September 2019
Release 1.0.1 (English)
1 August 2017
1.1.0
1 August 2017
1 reference
15 September 2019
Release 1.1.0 (English)
1 August 2017
1.1.1
5 August 2017
1 reference
15 September 2019
Release 1.1.1 (English)
5 August 2017
1.2.0
7 January 2018
1 reference
15 September 2019
Release 1.2.0 (English)
7 January 2018
1.3.0
26 May 2018
1 reference
15 September 2019
Release 1.3.0 (English)
26 May 2018
1.3.1
23 October 2018
1 reference
15 September 2019
Release 1.3.1 (English)
23 October 2018
1.3.2
22 July 2019
1 reference
15 September 2019
Release 1.3.2 (English)
22 July 2019
1.3.3
23 May 2020
1 reference
24 May 2020
Release 1.3.3 (English)
23 May 2020
Identifiers
Idris, a functional programming language with full dependent types.
28 February 2014
24 May 2023
0 references
Sitelinks
Wikipedia(10 entries)
- cawiki Idris (llenguatge de programació)
- cswiki Idris (programovací jazyk)
- enwiki Idris (programming language)
- fawiki ادریس (زبان برنامهنویسی)
- jawiki Idris (プログラミング言語)
- nlwiki Idris (programmeertaal)
- rowiki Idris (limbaj de programare)
- ruwiki Idris (язык программирования)
- zh_yuewiki Idris
- zhwiki Idris