Idris (programming language): Revision history

3 June 2024

• curprev 21:2421:24, 3 June 2024‎ Dicklyon talk contribs‎ 10,227 bytes 0‎ case fix undo

20 May 2024

• curprev 10:2510:25, 20 May 2024‎ 83.146.62.108 talk‎ 10,227 bytes 0‎ Grammar fix. undo
• curprev 05:2405:24, 20 May 2024‎ Sarsac talk contribs‎ m 10,227 bytes −28‎ Removed outdated reference for preview release undo
• curprev 05:1705:17, 20 May 2024‎ Sarsac talk contribs‎ m 10,255 bytes +16‎ Update Preview release undo

29 January 2024

• curprev 05:2205:22, 29 January 2024‎ Citation bot talk contribs‎ 10,239 bytes +20‎ Added website. | Use this bot. Report bugs. | Suggested by Spinixster | Category:Cross-platform free software | #UCB_Category 405/433 undo

12 November 2023

• curprev 19:5819:58, 12 November 2023‎ ElliAWB talk contribs‎ m 10,219 bytes +30‎ Disambiguating links to Coq (link changed to Coq (software); link changed to Coq (software)) using DisamAssist. undo

19 September 2023

• curprev 06:3306:33, 19 September 2023‎ Jerryobject talk contribs‎ 10,189 bytes +24‎ →‎External links: WP:NAVBOX add. undo

7 August 2023

• curprev 12:0812:08, 7 August 2023‎ Jerryobject talk contribs‎ 10,165 bytes +2‎ Template:Infobox programming language, WP:REFerence WP:CITation parameters: cut repeat, update-standardizes, underscores > spaces, respaces, conform to master templates. WP:LINKs: update-standardizes, needless WP:PIPEs > WP:NOPIPEs. MOS:FIRSTABBReviations clarify, define before WP:ABBRs in parentheses. Spaced: WP:SLASH, MDASHs > NDASHs. WP:BADEMPHASIS WP:QUOTE marks > WP:ITALICs. Template:Official website add. undo
• curprev 11:0311:03, 7 August 2023‎ Jerryobject talk contribs‎ m 10,163 bytes 0‎ →‎External links: Category move to more useful place. undo
• curprev 09:1009:10, 7 August 2023‎ Jerryobject talk contribs‎ 10,163 bytes +48‎ →‎External links: WP:CATEGORY add. undo

31 December 2022

• curprev 00:5800:58, 31 December 2022‎ 213.205.242.244 talk‎ 10,115 bytes +1‎ Existing references to documentation are to the latest version undo
• curprev 00:2600:26, 31 December 2022‎ 213.205.242.244 talk‎ 10,114 bytes 0‎ No edit summary undo

15 December 2022

• curprev 01:4201:42, 15 December 2022‎ Skyerise talk contribs‎ 10,114 bytes +31‎ →‎See also: +1 undo

11 December 2022

• curprev 10:2210:22, 11 December 2022‎ OlliverWithDoubleL talk contribs‎ m 10,083 bytes +70‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

16 October 2021

• curprev 01:3001:30, 16 October 2021‎ Clayrat talk contribs‎ 10,013 bytes 0‎ No edit summary undo

28 June 2021

• curprev 16:3316:33, 28 June 2021‎ Ysangkok talk contribs‎ 10,013 bytes 0‎ release 0.4.0 undo

19 June 2021

• curprev 18:5818:58, 19 June 2021‎ Akeosnhaoe talk contribs‎ 10,013 bytes +163‎ No edit summary undo Tag: Visual edit
• curprev 16:5816:58, 19 June 2021‎ 2600:6c4a:437f:f847:e595:c70a:ab76:6036 talk‎ 9,850 bytes −11‎ →‎Dependent types: Clarified total checker example. undo Tags: Mobile edit Mobile web edit

11 April 2021

• curprev 20:5520:55, 11 April 2021‎ Krypton Liverwurst talk contribs‎ 9,861 bytes +138‎ Cite Github on Idris 2 undo Tags: Visual edit Mobile edit Mobile web edit

17 March 2021

• curprev 06:4706:47, 17 March 2021‎ Akeosnhaoe talk contribs‎ 9,723 bytes +16‎ No edit summary undo Tag: Visual edit
• curprev 06:2406:24, 17 March 2021‎ Akeosnhaoe talk contribs‎ 9,707 bytes −4‎ Undid revision 1012577249 by 113.185.76.78 (talk) undo Tags: Undo Mobile edit Mobile web edit Advanced mobile edit
• curprev 03:5303:53, 17 March 2021‎ 113.185.76.78 talk‎ 9,711 bytes +4‎ No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

7 February 2021

• curprev 03:1603:16, 7 February 2021‎ Citation bot talk contribs‎ 9,707 bytes +6‎ Misc citation tidying. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:Free compilers and interpreters | via #UCB_Category 17/146 undo

14 January 2021

• curprev 11:5211:52, 14 January 2021‎ 93.176.157.157 talk‎ 9,701 bytes +29‎ →‎Idris 2 undo
• curprev 11:4911:49, 14 January 2021‎ 93.176.157.157 talk‎ 9,672 bytes +1‎ →‎Idris 2 undo

25 October 2020

• curprev 16:3116:31, 25 October 2020‎ Ysangkok talk contribs‎ 9,671 bytes +6‎ →‎Idris 2: compiles to C now undo

17 August 2020

• curprev 12:1612:16, 17 August 2020‎ Clayrat talk contribs‎ 9,665 bytes +3‎ →‎Idris 2 undo

15 July 2020

• curprev 11:5111:51, 15 July 2020‎ Gallais talk contribs‎ 9,662 bytes +39‎ Adding F# because of type providers & qualified dos undo

26 May 2020

• curprev 14:4714:47, 26 May 2020‎ Clayrat talk contribs‎ 9,623 bytes 0‎ →‎Idris 2 undo Tags: Mobile edit Mobile web edit
• curprev 14:4614:46, 26 May 2020‎ Clayrat talk contribs‎ 9,623 bytes −1‎ →‎Idris 2 undo Tags: Mobile edit Mobile web edit

25 May 2020

• curprev 15:1315:13, 25 May 2020‎ 81.33.94.87 talk‎ 9,624 bytes +108‎ new release, move Idris 2 into a subsection undo

12 May 2020

• curprev 06:3906:39, 12 May 2020‎ Eeidt talk contribs‎ m 9,516 bytes +10‎ Obviously "Haskell98" types are not actually Haskell98 types as this is not Haskell; they just use similar syntax [not the same - Idris is a Haskell-1 in that it uses the same namespace for types and constructors]. More subtly, these are not GADTs, as GADTs are only parametrised not indexed; they're inductive datatypes similar to Coq and Agda. undo Tag: 2017 wikitext editor

11 May 2020

• curprev 17:5517:55, 11 May 2020‎ DannyS712 bot talk contribs‎ m 9,506 bytes +108‎ Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

27 April 2020

• curprev 15:0815:08, 27 April 2020‎ Quuxbazbarfoo talk contribs‎ 9,398 bytes +217‎ Tactics via elaborator reflection undo
• curprev 14:5614:56, 27 April 2020‎ Quuxbazbarfoo talk contribs‎ m 9,181 bytes 0‎ Hyphenate "purely-functional" compound adjective undo
• curprev 14:5314:53, 27 April 2020‎ Quuxbazbarfoo talk contribs‎ m 9,181 bytes +162‎ →‎Features: Slight rewording and add Syntax Guide citation undo
• curprev 13:4013:40, 27 April 2020‎ Omnipaedista talk contribs‎ 9,019 bytes +10‎ clarification undo
• curprev 11:3411:34, 27 April 2020‎ Omnipaedista talk contribs‎ 9,009 bytes +45‎ clarification undo

24 March 2020

• curprev 23:4823:48, 24 March 2020‎ 2600:1015:b057:9c7d:e163:30bb:464c:ddb7 talk‎ 8,964 bytes +31‎ Idris 2 undo Tags: Mobile edit Mobile web edit

13 October 2019

• curprev 09:1509:15, 13 October 2019‎ 1 point 7 point 4 talk contribs‎ 8,933 bytes +89‎ →‎Proof assistant features undo Tag: Visual edit
• curprev 08:5808:58, 13 October 2019‎ 1 point 7 point 4 talk contribs‎ 8,844 bytes −47‎ →‎Code generation: removed vague statement undo Tag: Visual edit

27 September 2019

• curprev 01:2101:21, 27 September 2019‎ Erutuon talk contribs‎ m 8,891 bytes +32‎ fix title, add website name undo

15 September 2019

• curprev 01:0801:08, 15 September 2019‎ 50.53.21.2 talk‎ 8,859 bytes +349‎ 2007 undo
• curprev 00:2900:29, 15 September 2019‎ 50.53.21.2 talk‎ 8,510 bytes 0‎ 2009 undo
• curprev 00:2800:28, 15 September 2019‎ 50.53.21.2 talk‎ 8,510 bytes +41‎ 2011 undo

26 August 2019

• curprev 20:4920:49, 26 August 2019‎ 2600:1015:b064:19be:2dc1:435:24d:b923 talk‎ 8,469 bytes +15‎ Added link undo Tags: Mobile edit Mobile web edit

21 August 2019

• curprev 13:2613:26, 21 August 2019‎ Dgpop talk contribs‎ 8,454 bytes +48‎ →‎External links: +cat undo

20 August 2019

• curprev 23:0123:01, 20 August 2019‎ Dgpop talk contribs‎ 8,406 bytes +36‎ Most refs are the official site. undo Tags: Mobile edit Mobile web edit

13 August 2019

• curprev 18:0118:01, 13 August 2019‎ Akeosnhaoe talk contribs‎ 8,370 bytes +322‎ Mention Idris 2 work in progress undo Tags: Visual edit Mobile edit Mobile web edit

22 July 2019

• curprev 20:0920:09, 22 July 2019‎ 93.207.148.52 talk‎ 8,048 bytes −183‎ Updated latest release version undo Tag: Visual edit: Switched