Inductive type: Revision history

29 July 2024

• curprev 03:3003:30, 29 July 2024 Citation bot talk contribs 10,655 bytes +34 Added doi-access. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 628/1051 undo

26 July 2024

• curprev 23:0523:05, 26 July 2024 Binarypasta talk contribs 10,621 bytes −2 →Elimination: inaccuracy, changed proposition to predicate undo Tags: Mobile edit Mobile web edit

28 December 2023

• curprev 10:5910:59, 28 December 2023 AB-Babayo talk contribs 10,623 bytes +24 Added free to read link in citations with OAbot #oabot undo Tag: OAbot [2.1]

29 November 2023

• curprev 15:4115:41, 29 November 2023 OAbot talk contribs m 10,599 bytes −4 Open access bot: doi updated in citation with #oabot. undo

28 November 2023

• curprev 16:4116:41, 28 November 2023 Siddharthist talk contribs 10,603 bytes +33 →W- and M-types: Link to correct version of polynomial functor undo Tag: 2017 wikitext editor

12 November 2023

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

13 February 2023

• curprev 11:4711:47, 13 February 2023 Boblehest talk contribs m 10,540 bytes +196 Mention that the code is Coq syntax, and describe what it says undo

30 January 2023

• curprev 03:4103:41, 30 January 2023 OAbot talk contribs m 10,344 bytes +16 Open access bot: doi added to citation with #oabot. undo

21 September 2022

• curprev 22:1022:10, 21 September 2022 2601:547:501:8f90:9d40:ddc3:a266:7948 talk 10,328 bytes +38 →Induction-recursion undo

30 January 2022

• curprev 13:1413:14, 30 January 2022 Citation bot talk contribs 10,290 bytes 0 Alter: template type. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 1416/1776 undo

17 October 2021

• curprev 00:5200:52, 17 October 2021 Citation bot talk contribs 10,290 bytes +265 Alter: template type. Add: s2cid, isbn, pages, volume, series, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. Upgrade ISBN10 to ISBN13. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_toolbar undo

20 July 2021

• curprev 10:0710:07, 20 July 2021 Hellacioussatyr talk contribs 10,025 bytes −5 →W- and M-types undo Tags: Mobile edit Mobile web edit Advanced mobile edit

6 July 2021

• curprev 13:4513:45, 6 July 2021 OAbot talk contribs m 10,030 bytes +16 Open access bot: doi added to citation with #oabot. undo

24 February 2021

• curprev 12:3812:38, 24 February 2021 Juanmeleiro talk contribs 10,014 bytes −6 More precise language in the first sentence. Inductive types are… inductively defined from the constants and terms, not alongside them. undo Tags: Mobile edit Mobile web edit

15 September 2020

• curprev 09:4609:46, 15 September 2020 Rqndom talk contribs m 10,020 bytes +1,070 Reverted 1 edit by Aroleyoshomedia (talk) to last revision by 2A01:CB1D:8DF2:BA00:D5A6:3795:573:FC78 undo Tags: Twinkle Undo
• curprev 09:4509:45, 15 September 2020 Aroleyoshomedia talk contribs m 8,950 bytes −1,070 My history undo Tags: Visual edit Mobile edit Mobile web edit

21 May 2020

• curprev 13:3913:39, 21 May 2020 2a01:cb1d:8df2:ba00:d5a6:3795:573:fc78 talk 10,020 bytes −11 →W- and M-types: Removal of useless parentheses and corrections. undo
• curprev 09:3209:32, 21 May 2020 2a01:cb1d:8df2:ba00:75f7:fb6a:7487:bbe2 talk 10,031 bytes −10 →W- and M-types: Big parentheses frogotten in the previous copy-pasted modification. undo
• curprev 09:3209:32, 21 May 2020 2a01:cb1d:8df2:ba00:75f7:fb6a:7487:bbe2 talk 10,041 bytes +14 →W- and M-types: Conflict between Free & Mute Variables. undo

11 May 2020

• curprev 17:5617:56, 11 May 2020 DannyS712 bot talk contribs m 10,027 bytes +54 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

23 January 2020

• curprev 09:3909:39, 23 January 2020 InternetArchiveBot talk contribs 9,973 bytes +43 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

17 December 2019

• curprev 10:5010:50, 17 December 2019 Narky Blert talk contribs 9,930 bytes +41 Undid revision 926634771 by Jarble (talk) I repaired your edit - Links to DAB pages must go through the (disambiguation) qualifier per WP:INTDAB undo Tag: Undo

17 November 2019

• curprev 18:4018:40, 17 November 2019 Jarble talk contribs 9,889 bytes +36 "Inductive data type" has several different meanings. This distinction is somewhat confusing. undo

20 October 2019

• curprev 10:3810:38, 20 October 2019 194.181.243.75 talk 9,853 bytes +12 →Higher inductive types undo

16 August 2019

• curprev 04:3504:35, 16 August 2019 Citation bot talk contribs m 9,841 bytes −101 Alter: template type. Add: doi, arxiv. Removed URL that duplicated unique identifier. Removed parameters. Some additions/deletions were actually parameter name changes.| You can use this bot yourself. Report bugs here.| Activated by User:Corvusphalanx undo

8 August 2019

• curprev 16:5516:55, 8 August 2019 86.9.128.236 talk 9,942 bytes −48 Removed merge tag.Discussion is against merging. undo

26 June 2019

• curprev 19:3819:38, 26 June 2019 Cris.y.cc talk contribs m 9,990 bytes −1 Fixed a grammar error undo

10 April 2019

• curprev 19:4519:45, 10 April 2019 OAbot talk contribs m 9,991 bytes +19 Open access bot: add arxiv identifier to citation with #oabot. undo

4 December 2018

• curprev 06:3706:37, 4 December 2018 DesolateReality talk contribs 9,972 bytes +122 →W- and M-types undo

2 September 2018

• curprev 01:2501:25, 2 September 2018 Rosguill talk contribs m 9,850 bytes +4 link Induction-induction using Find link undo

7 June 2018

• curprev 19:0119:01, 7 June 2018 MusikBot talk contribs m 9,846 bytes −22 Removing protection templates from unprotected page undo

9 March 2018

• curprev 20:5420:54, 9 March 2018 Citation bot talk contribs m 9,868 bytes +24 Add: year, class. You can use this bot yourself. Report bugs here. undo
• curprev 20:5420:54, 9 March 2018 Headbomb talk contribs m 9,844 bytes −52 →W- and M-types: cleanup using AWB undo

20 February 2018

• curprev 20:1020:10, 20 February 2018 Favonian talk contribs m 9,896 bytes +22 padlock undo
• curprev 20:0920:09, 20 February 2018 Favonian talk contribs m 9,874 bytes 0 Protected "Inductive type": Persistent disruptive editing: requested at WP:RFPP ([Edit=Require autoconfirmed or confirmed access] (expires 20:09, 20 May 2018 (UTC)) [Move=Require autoconfirmed or confirmed access] (exp... undo
• curprev 17:5417:54, 20 February 2018 Siddharthist talk contribs m 9,874 bytes −28 Reverted 1 edit by 116.7.66.71 (talk) to last revision by Siddharthist. (TW) undo Tag: Undo
• curprev 10:0310:03, 20 February 2018 116.7.66.71 talk 9,902 bytes +28 No edit summary undo Tag: Undo
• curprev 04:1604:16, 20 February 2018 Siddharthist talk contribs m 9,874 bytes −28 Undid revision 826516108 by 116.7.66.139 (talk) undo Tag: Undo

19 February 2018

• curprev 15:5115:51, 19 February 2018 116.7.66.139 talk 9,902 bytes +28 No edit summary undo

17 February 2018

• curprev 19:3119:31, 17 February 2018 Siddharthist talk contribs m 9,874 bytes −170 Undid revision 826134165 by 14.155.90.100 (talk) undo Tag: Undo
• curprev 11:2511:25, 17 February 2018 14.155.90.100 talk 10,044 bytes +170 No edit summary undo

14 February 2018

• curprev 09:5809:58, 14 February 2018 KolbertBot talk contribs m 9,874 bytes +1 Bot: HTTP→HTTPS (v481) undo

13 February 2018

• curprev 01:0201:02, 13 February 2018 Siddharthist talk contribs m 9,873 bytes +36 →W- and M-types: Link to page on polynomial functors, add another reference confirming their properties in intensional theories undo Tag: 2017 wikitext editor
• curprev 00:4200:42, 13 February 2018 Siddharthist talk contribs 9,837 bytes +867 →W- and M-types: Write the elimination rule for W-types, make the style more consistent for finite types undo Tag: 2017 wikitext editor

12 February 2018

• curprev 03:2503:25, 12 February 2018 Siddharthist talk contribs m 8,970 bytes +284 →W- and M-types: Add another reference to section on M-types undo Tag: 2017 wikitext editor

26 January 2018

• curprev 02:0102:01, 26 January 2018 Citation bot talk contribs m 8,686 bytes +60 Alter: issue. Add: year, class. You can use this bot yourself. Report bugs here. undo
• curprev 02:0102:01, 26 January 2018 Headbomb talk contribs m 8,626 bytes −182 clean up using AWB undo

18 January 2018

• curprev 04:5404:54, 18 January 2018 Siddharthist talk contribs 8,808 bytes +1,437 →W- and M-types: Mention the relationship between W- and M-types and initial (final) (co)algebras for polynomial functors undo Tag: 2017 wikitext editor
• curprev 04:3304:33, 18 January 2018 Siddharthist talk contribs 7,371 bytes +478 →W- and M-types: Add another intuition for W- and M-types from the AHRENS, CAPRIOTTI, and SPADOT paper undo Tag: 2017 wikitext editor
• curprev 04:2104:21, 18 January 2018 Siddharthist talk contribs 6,893 bytes +960 →W and M types: Expand significantly undo Tag: 2017 wikitext editor