Idris (programming language): Revision history

23 May 2015

• curprev 02:2002:20, 23 May 2015 Cofunctor talk contribs m 6,863 bytes 0 latest release modified. undo

28 March 2015

• curprev 10:5110:51, 28 March 2015 Rexlen talk contribs m 6,863 bytes 0 No edit summary undo

30 January 2015

• curprev 18:2118:21, 30 January 2015 Chamini2 talk contribs m 6,863 bytes −1 removed extra comma undo

23 January 2015

• curprev 15:5015:50, 23 January 2015 Soimort talk contribs 6,864 bytes −2 version 0.9.16 undo
• curprev 10:4410:44, 23 January 2015 Matěj Grabovský talk contribs 6,866 bytes +49 +→See also: Total functional programming undo

4 December 2014

• curprev 11:4411:44, 4 December 2014 188.110.14.229 talk 6,817 bytes +1 →Inductive and parametric data types undo

26 November 2014

• curprev 22:3322:33, 26 November 2014 49.182.140.195 talk 6,816 bytes 0 →Dependent types undo
• curprev 22:3222:32, 26 November 2014 49.182.140.195 talk 6,816 bytes +15 →Dependent types undo

14 November 2014

• curprev 07:4607:46, 14 November 2014 Bgwhite talk contribs 6,801 bytes +10 missing source tag using AWB (10486) undo
• curprev 05:3205:32, 14 November 2014 Bgwhite talk contribs 6,791 bytes −1 WP:CHECKWIKI error fix #61 Punctuation before ref. Do general fixes and cleanup if needed. - using AWB (10486) undo

13 November 2014

• curprev 21:0821:08, 13 November 2014 Jec talk contribs 6,792 bytes +504 Stub →Code generation undo
• curprev 21:0121:01, 13 November 2014 Jec talk contribs 6,288 bytes +488 Stub →Proof assistant features undo
• curprev 20:5620:56, 13 November 2014 Jec talk contribs 5,800 bytes +29 Merge sections undo
• curprev 20:4520:45, 13 November 2014 Jec talk contribs 5,771 bytes +106 Wikify →Features undo
• curprev 20:4120:41, 13 November 2014 Jec talk contribs 5,665 bytes +871 Slightly less stubby →Features undo
• curprev 20:3320:33, 13 November 2014 Jec talk contribs 4,794 bytes +29 Add features section (placeholder for now) undo

10 November 2014

• curprev 23:1323:13, 10 November 2014 Yobot talk contribs m 4,765 bytes −1 WP:CHECKWIKI error fixes using AWB undo

2 November 2014

• curprev 09:4309:43, 2 November 2014 Soimort talk contribs m 4,766 bytes +3 0.9.15.1 undo

1 November 2014

• curprev 13:0713:07, 1 November 2014 46.239.101.25 talk 4,763 bytes +8 Replaced "Currently" with "As of..." undo

26 October 2014

• curprev 22:1122:11, 26 October 2014 AviendaBG talk contribs m 4,755 bytes +185 add source for influences undo

30 July 2014

• curprev 14:5714:57, 30 July 2014 Jshholland talk contribs 4,570 bytes −6 →Syntax: improve flow of penultimate sentence undo

16 July 2014

• curprev 20:2420:24, 16 July 2014 Soimort talk contribs 4,576 bytes −1 Idris 0.9.14 released undo

1 July 2014

• curprev 14:5714:57, 1 July 2014 Soimort talk contribs 4,577 bytes +1 No edit summary undo

18 June 2014

• curprev 17:1417:14, 18 June 2014 97.80.156.85 talk 4,576 bytes −3 grammar undo

7 May 2014

• curprev 22:0422:04, 7 May 2014 Soimort talk contribs 4,579 bytes +7 No edit summary undo

29 April 2014

• curprev 11:3411:34, 29 April 2014 Daejo talk contribs 4,572 bytes −2 →Syntax: More unnecessary parens undo
• curprev 11:3311:33, 29 April 2014 Daejo talk contribs m 4,574 bytes +8 →Syntax: Removed unnecessary parens undo

8 April 2014

• curprev 01:5001:50, 8 April 2014 DouglasCalvert talk contribs 4,566 bytes +4 →top undo

5 April 2014

• curprev 00:2100:21, 5 April 2014 LambdaTotoro talk contribs m 4,562 bytes 0 Updated version number undo

2 April 2014

• curprev 16:1216:12, 2 April 2014 213.216.142.12 talk 4,562 bytes +28 Disambiguate Agda link. undo

14 February 2014

• curprev 16:3016:30, 14 February 2014 Tredontho talk contribs m 4,534 bytes −1 removed trailing comma undo

6 February 2014

• curprev 17:5217:52, 6 February 2014 LambdaTotoro talk contribs m 4,535 bytes −1 updated version release undo

28 November 2013

• curprev 13:1813:18, 28 November 2013 LambdaTotoro talk contribs m 4,536 bytes +2 ordered influences undo
• curprev 13:1613:16, 28 November 2013 LambdaTotoro talk contribs m 4,534 bytes +1 updated version release undo

31 July 2013

• curprev 23:2623:26, 31 July 2013 LambdaTotoro talk contribs 4,533 bytes 0 working in release 0.9.9, switching arguments in Vect type undo

25 July 2013

• curprev 09:1609:16, 25 July 2013 210.210.190.242 talk 4,533 bytes 0 No edit summary undo
• curprev 09:1509:15, 25 July 2013 210.210.190.242 talk 4,533 bytes 0 No edit summary undo

9 June 2013

• curprev 09:2609:26, 9 June 2013 Yobot talk contribs m 4,533 bytes −15 WP:CHECKWIKI error fixes using AWB (9241) undo

29 May 2013

• curprev 10:4610:46, 29 May 2013 LambdaTotoro talk contribs 4,548 bytes +391 Added second syntax example and changed reference style. undo

28 May 2013

• curprev 17:5517:55, 28 May 2013 129.70.218.176 talk 4,157 bytes 0 New Version 0.9.8 undo

25 May 2013

• curprev 10:3010:30, 25 May 2013 FrescoBot talk contribs m 4,157 bytes −13 Bot: link syntax/spacing and minor changes undo

29 April 2013

• curprev 19:5819:58, 29 April 2013 Msnicki talk contribs 4,170 bytes −415 Removing AfD tag. Consensus was "keep". undo
• curprev 14:4914:49, 29 April 2013 99.247.230.21 talk 4,585 bytes −1 sp. undo

27 April 2013

• curprev 21:1421:14, 27 April 2013 Msnicki talk contribs 4,586 bytes +415 Nominated for deletion; see Wikipedia:Articles for deletion/Idris (programming language). (TW) undo

23 April 2013

• curprev 16:3516:35, 23 April 2013 138.251.249.161 talk 4,171 bytes 0 →Syntax undo

16 April 2013

• curprev 19:5619:56, 16 April 2013 LambdaTotoro talk contribs m 4,171 bytes +152 Added name history undo
• curprev 17:3417:34, 16 April 2013 LambdaTotoro talk contribs 4,019 bytes +1,300 Added Syntax section undo

6 April 2013

• curprev 23:3223:32, 6 April 2013 24.84.65.6 talk 2,719 bytes +43 No edit summary undo
• curprev 23:3123:31, 6 April 2013 24.84.65.6 talk 2,676 bytes +74 No edit summary undo
• curprev 23:0823:08, 6 April 2013 LambdaTotoro talk contribs 2,602 bytes +2,602 Created article