Coinduction: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 07:1107:11, 22 April 2024 77.136.66.1 talk 13,424 bytes +4 →Examples: Made a mathematical expression more explicit with parentheses (product of infinite list with itself) undo Tags: Mobile edit Mobile app edit Android app edit

curprev 15:3215:32, 20 March 2024 157.193.240.241 talk 13,420 bytes +187 No edit summary undo

curprev 01:4401:44, 9 February 2024 BD2412 talk contribs m 13,233 bytes −13 clean up spacing around commas and other punctuation fixes, replaced: ,y → , y, , → , undo Tag: AWB

curprev 18:4218:42, 12 November 2023 RJFJR talk contribs 13,246 bytes +8 →Relationship with F-coalgebras{{Cite book|chapter-url=https://link.springer.com/chapter/10.1007/978-3-642-32202-0_2|chapter = Generic Programming with Adjunctions|author = Ralf Hinze| title=Generic and Indexed Programming |publisher = Springer| series=Lecture Notes in Computer Science | year=2012 | volume=7470 | pages=47–129 | doi=10.1007/978-3-642-32202-0_2 | isbn=978-3-642-32201-3 }}: move ref out of heading undo

curprev 07:3207:32, 6 September 2023 SchwartzYosale talk contribs m 13,238 bytes +2 Fixed typo undo Tag: Visual edit

curprev 09:4509:45, 4 September 2023 Citation bot talk contribs 13,236 bytes +2 Add: publisher. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 18:5318:53, 17 June 2023 Citation bot talk contribs 13,234 bytes 0 Alter: template type. | Use this bot. Report bugs. | Suggested by Abductive | Category:Functional programming | #UCB_Category 49/67 undo
curprev 14:1114:11, 17 June 2023 Trappist the monk talk contribs m 13,234 bytes +2 cite repair; undo Tag: AWB

curprev 12:3612:36, 29 May 2023 Muf99 talk contribs m 13,197 bytes −1 →Relationship with F-coalgebras: bracket undo

curprev 04:1404:14, 13 January 2023 Archer1234 talk contribs m 13,198 bytes +4 →top: dates for maintenance templates must use the full month name (capitalized) undo
curprev 03:3603:36, 13 January 2023 Lcdrovers talk contribs 13,194 bytes +31 add citation needed to claim of duality with structural induction undo Tags: Mobile edit Mobile web edit

curprev 15:1715:17, 10 November 2022 Citation bot talk contribs 13,163 bytes −85 Alter: template type. Removed proxy/dead URL that duplicated identifier. Removed parameters. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 17:3517:35, 19 October 2022 Citation bot talk contribs 13,248 bytes +50 Alter: title. Add: chapter, chapter-url. Removed or converted URL. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 09:5809:58, 10 October 2022 LMias talk contribs m 13,198 bytes −4 →Coinductive datatypes in programming languages undo

curprev 20:0020:00, 24 September 2022 Wprlh talk contribs 13,202 bytes +1 →Coinductive datatypes in programming languages: Fixed typo undo Tags: Mobile edit Mobile web edit

curprev 00:3700:37, 6 September 2022 Citation bot talk contribs 13,201 bytes +174 Alter: template type. Add: isbn, doi, pages, volume, year, series, citeseerx. Formatted dashes. Upgrade ISBN10 to 13. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 10:3710:37, 1 September 2022 Nathan.s.chappell talk contribs 13,027 bytes +8,867 Trying to get the article to a state of usefulness. undo

curprev 07:3307:33, 28 January 2022 Citation bot talk contribs 4,160 bytes +21 Add: website. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 979/2600 undo

curprev 20:3220:32, 24 October 2021 Oiyarbepsy talk contribs 4,139 bytes −53 Remove unexplained expert needed tag (Wikipedia:Templates for discussion/Log/2021 February 9#Template:Expert needed) undo Tag: 2017 wikitext editor

curprev 09:0309:03, 16 October 2021 Citation bot talk contribs 4,192 bytes +245 Add: pages, year, title. Changed bare reference to CS1/2. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 1202/2198 undo

curprev 19:4419:44, 27 June 2021 SdkbBot talk contribs m 3,947 bytes −3 General fixes, removed erroneous space undo Tag: AWB

curprev 08:1408:14, 3 June 2021 Citation bot talk contribs 3,950 bytes +3 Alter: template type. | Use this bot. Report bugs. | Suggested by Abductive | Category:All articles that are too technical | #UCB_Category 1053/2865 undo

curprev 11:1111:11, 29 May 2021 Njd-de talk contribs m 3,947 bytes −9,743 Rollback edit(s) by 126.171.44.112 (talk): Reverting good faith edits (RW 16.1) undo Tag: Rollback
curprev 11:0811:08, 29 May 2021 126.171.44.112 talk 13,690 bytes +9,743 →See also undo Tag: Reverted

curprev 23:2823:28, 19 July 2020 Bender the Bot talk contribs m 3,947 bytes +1 →Further reading: HTTP → HTTPS for Radboud University computer science department, replaced: http://www.cs.ru.nl/ → https://www.cs.ru.nl/ undo Tag: AWB

curprev 07:0607:06, 26 April 2020 Bbbaat talk contribs 3,946 bytes +81 →Further reading: Article references added. undo

curprev 23:3823:38, 1 April 2020 Bernanke's Crossbow talk contribs m 3,865 bytes +45 Added hatnote undo

curprev 19:0219:02, 11 November 2019 AnomieBOT talk contribs m 3,820 bytes +19 Dating maintenance tags: {{Reliable sources}} undo
curprev 18:4218:42, 11 November 2019 Jochen Burghardt talk contribs 3,801 bytes +21 →top undo

curprev 09:2809:28, 8 April 2019 79.107.104.246 talk 3,780 bytes −4 WP:HNP undo

curprev 18:3418:34, 15 January 2019 Dough34 talk contribs m 3,784 bytes +4 add link undo

curprev 13:1913:19, 14 December 2017 Jackpickard1985 talk contribs 3,780 bytes +104 No edit summary undo

curprev 00:4200:42, 19 October 2017 2600:100c:b22b:1339:39d3:bd7f:e8b6:da4d talk 3,676 bytes +26 Wrote out full name of university and linked to university Wikipedia page undo Tags: Visual edit Mobile edit Mobile web edit

curprev 20:4220:42, 14 March 2017 24.85.232.10 talk 3,650 bytes +1 No edit summary undo
curprev 20:4120:41, 14 March 2017 24.85.232.10 talk 3,649 bytes +14 No edit summary undo
curprev 20:3920:39, 14 March 2017 24.85.232.10 talk 3,635 bytes 0 No edit summary undo
curprev 20:3820:38, 14 March 2017 24.85.232.10 talk 3,635 bytes 0 No edit summary undo

curprev 14:3014:30, 10 November 2016 Pintoch talk contribs m 3,635 bytes −7 →Further reading: change |id={{citeseer}} to |citeseerx= using AWB undo

curprev 14:4414:44, 11 September 2016 Matthiaspaul talk contribs 3,642 bytes −151 hatnote no longer necessary as we have a disamb page now undo
curprev 11:4111:41, 11 September 2016 Matthiaspaul talk contribs 3,793 bytes +65 expanded hatnote for disambiguation undo

curprev 16:3516:35, 25 November 2015 Ruud Koot talk contribs m 3,728 bytes +17 →Further reading: nowiki undo Tag: nowiki added
curprev 16:3116:31, 25 November 2015 Ruud Koot talk contribs 3,711 bytes +145 →Further reading: Eduardo Giménez and Pierre Castéran (2007). [http://www.labri.fr/perso/casteran/RecTutorial.pdf "A Tutorial on [Co-]Inductive Types in Coq"] undo

curprev 14:5414:54, 24 February 2015 Ruud Koot talk contribs m 3,566 bytes −3 →Further reading: organize undo

22 April 2024

20 March 2024

9 February 2024

12 November 2023

6 September 2023

4 September 2023

17 June 2023

30 May 2023

29 May 2023

13 January 2023

10 November 2022

19 October 2022

10 October 2022

24 September 2022

6 September 2022

1 September 2022

28 January 2022

24 October 2021

16 October 2021

27 June 2021

3 June 2021

29 May 2021

19 July 2020

26 April 2020

1 April 2020

11 November 2019

8 April 2019

15 January 2019

14 December 2017

19 October 2017

14 March 2017

10 November 2016

11 September 2016

25 November 2015

24 February 2015