Idris (programming language): Revision history

15 November 2024

• curprev 12:4412:44, 15 November 2024 Agilot talk contribs 10,278 bytes +52 Added in the list of statically typed programming languages (as described in 'Typing discipline'). undo Tag: Visual edit

6 November 2024

• curprev 15:5815:58, 6 November 2024 Zerbu talk contribs 10,226 bytes −1 Wikipedia:Categories for discussion/Log/2024 October 21#Category:Free compilers and interpreters undo

6 August 2024

• curprev 08:3708:37, 6 August 2024 Akeosnhaoe talk contribs 10,227 bytes −2 Undid revision 1237268822 by 2A02:A210:8A8:E180:98ED:D2B:29E9:EDD4 (talk) undo Tags: Undo Mobile edit Mobile web edit Advanced mobile edit

28 July 2024

• curprev 23:4323:43, 28 July 2024 2a02:a210:8a8:e180:98ed:d2b:29e9:edd4 talk 10,229 bytes +2 No edit summary undo Tag: Reverted

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