SKI combinator calculus: Revision history

19 March 2024

• curprev 22:4522:45, 19 March 2024‎ WillNess talk contribs‎ 17,804 bytes +23‎ →‎Informal description: re-word with "for any x" undo Tag: 2017 wikitext editor

7 January 2024

• curprev 22:2122:21, 7 January 2024‎ WillNess talk contribs‎ 17,781 bytes +8‎ →‎Informal description: "whatever" is clear, "x" is not undo Tag: 2017 wikitext editor

4 January 2024

• curprev 18:5218:52, 4 January 2024‎ 149.19.54.239 talk‎ 17,773 bytes −4‎ →‎Informal description undo

19 October 2023

• curprev 17:3517:35, 19 October 2023‎ 2603:8001:4542:28fb:706d:3be6:3ff5:3ac9 talk‎ 17,777 bytes +12‎ →‎Informal description undo

13 September 2023

• curprev 11:1711:17, 13 September 2023‎ WillNess talk contribs‎ 17,765 bytes +136‎ →‎Self-application and recursion undo Tag: 2017 wikitext editor
• curprev 11:0011:00, 13 September 2023‎ WillNess talk contribs‎ 17,629 bytes +203‎ →‎Self-application and recursion: add shortcuts undo Tag: 2017 wikitext editor

21 August 2023

• curprev 09:5709:57, 21 August 2023‎ WillNess talk contribs‎ 17,426 bytes +2‎ →‎Self-application and recursion: c/e undo Tag: 2017 wikitext editor
• curprev 08:5008:50, 21 August 2023‎ WillNess talk contribs‎ 17,424 bytes +620‎ →‎Self-application and recursion: mention equivalent short encoding of Y. undo Tag: 2017 wikitext editor
• curprev 07:2407:24, 21 August 2023‎ WillNess talk contribs‎ 16,804 bytes −278‎ remove unsourced unclear material. what is "quoting"?? no need to define S and K anew with lambda expressions when their combinatory definitions were already given earlier in the article. undo Tag: 2017 wikitext editor

17 August 2023

• curprev 17:3917:39, 17 August 2023‎ Samhenke talk contribs‎ m 17,082 bytes +6‎ Clarified the definition of the constant function K undo

2 April 2023

• curprev 13:3413:34, 2 April 2023‎ 2603:7080:3800:593:5dbf:f8e4:50b2:deb1 talk‎ 17,076 bytes 0‎ the X in 'returns x' was ambiguous. x is the typical name for a one argument function's parameter, but this is only a formality, and sticking to it makes the sentence make no sense because it was equally correct to read the definition of K as Kxy=y. undo

19 March 2023

• curprev 19:4719:47, 19 March 2023‎ Citation bot talk contribs‎ 17,076 bytes −41‎ Alter: chapter-url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

26 February 2023

• curprev 19:3619:36, 26 February 2023‎ WillNess talk contribs‎ 17,117 bytes +57‎ →‎Self-application and recursion: wikify undo Tag: 2017 wikitext editor

25 February 2023

• curprev 23:5923:59, 25 February 2023‎ WillNess talk contribs‎ 17,060 bytes +21‎ →‎Self-application and recursion: tweak c/e undo Tag: 2017 wikitext editor
• curprev 23:5123:51, 25 February 2023‎ WillNess talk contribs‎ 17,039 bytes +327‎ →‎Self-application and recursion: add Y undo Tag: 2017 wikitext editor
• curprev 09:3509:35, 25 February 2023‎ WillNess talk contribs‎ 16,712 bytes +626‎ →‎Self-application and recursion: clarify undo Tag: 2017 wikitext editor

30 January 2023

• curprev 18:3118:31, 30 January 2023‎ Citation bot talk contribs‎ 16,086 bytes +30‎ Add: s2cid, issue. | Use this bot. Report bugs. | Suggested by Kline | Category:Lambda calculus | #UCB_Category 38/50 undo

12 January 2023

• curprev 07:4307:43, 12 January 2023‎ Adsweed talk contribs‎ 16,056 bytes +417‎ →‎Examples of reduction: Added other ways to reduce the examples undo

1 December 2022

• curprev 22:3422:34, 1 December 2022‎ Amalloy talk contribs‎ 15,639 bytes +33‎ Clarify the section on textual representation by reordering concepts and splitting up into shorter, easier-to-follow sentences. undo

5 October 2022

• curprev 12:4612:46, 5 October 2022‎ 109.156.103.92 talk‎ 15,606 bytes −71‎ mention explicitly that the inductive definition of valid derivations begins from the set of all terms, ie. all valid terms (may) permit derivations undo Tags: Visual edit Mobile edit Mobile web edit

13 May 2022

• curprev 00:2800:28, 13 May 2022‎ RDBrown talk contribs‎ 15,677 bytes +313‎ →cite journal, book undo

22 March 2022

• curprev 11:1511:15, 22 March 2022‎ SpiralSource talk contribs‎ 15,364 bytes +51‎ No edit summary undo Tags: Mobile edit Mobile app edit Android app edit

3 March 2022

• curprev 09:3109:31, 3 March 2022‎ RDBrown talk contribs‎ 15,313 bytes +245‎ →‎References: →cite book undo

11 December 2021

• curprev 14:5914:59, 11 December 2021‎ Diego Moya talk contribs‎ 15,068 bytes 0‎ Restore previous: S(Kα)(SII) can be transformed using derivation of the third type, using the correct left-alignment undo Tags: Manual revert Visual edit Mobile edit Mobile web edit Advanced mobile edit
• curprev 14:5014:50, 11 December 2021‎ Diego Moya talk contribs‎ 15,068 bytes 0‎ Correct term, S needs three arguments undo Tags: Reverted Visual edit Mobile edit Mobile web edit Advanced mobile edit

31 October 2021

• curprev 21:1821:18, 31 October 2021‎ Erentar2002 talk contribs‎ m 15,068 bytes −103‎ No edit summary undo Tag: Visual edit

18 September 2021

• curprev 17:3717:37, 18 September 2021‎ Binary198 talk contribs‎ 15,171 bytes +451‎ No edit summary undo Tag: Visual edit

13 August 2021

• curprev 11:5811:58, 13 August 2021‎ Cedar101 talk contribs‎ m 14,720 bytes +26‎ →‎Recursive parameter passing and quoting: {{nobold}} undo

11 June 2021

• curprev 14:5214:52, 11 June 2021‎ 2a02:c7f:f620:5100:2928:d7b4:f09c:a3fb talk‎ 14,694 bytes −4‎ →‎Informal description: fix formatting undo Tag: Manual revert
• curprev 14:5114:51, 11 June 2021‎ 2a02:c7f:f620:5100:2928:d7b4:f09c:a3fb talk‎ 14,698 bytes −2‎ →‎Informal description: Removed redundant parentheses undo Tag: Reverted

5 April 2021

• curprev 17:2717:27, 5 April 2021‎ 174.78.15.125 talk‎ 14,700 bytes +6‎ No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

12 March 2021

• curprev 20:0420:04, 12 March 2021‎ Blablubbs talk contribs‎ 14,694 bytes −567‎ rm refspam by blocked sock, please see Wikipedia:Sockpuppet investigations/Badtoothfairy undo

8 November 2020

• curprev 09:4009:40, 8 November 2020‎ Qqwy talk contribs‎ 15,261 bytes +85‎ →‎See also: mention Iota and Jot (which already link to SKI). undo

13 August 2020

• curprev 12:3212:32, 13 August 2020‎ 62.74.25.83 talk‎ 15,176 bytes +15‎ Added the commonly used name of SK Calculus/SK Combinator Calculus undo
• curprev 12:3112:31, 13 August 2020‎ 62.74.25.83 talk‎ 15,161 bytes +82‎ Added the commonly used name of SK Calculus undo

5 August 2020

• curprev 14:5614:56, 5 August 2020‎ Klbrain talk contribs‎ 15,079 bytes −48‎ Closing stale 2019 merge proposal; no case made, no support over many months; case isn't obvious undo

3 August 2020

• curprev 15:0215:02, 3 August 2020‎ 2a02:8109:a380:b58:944d:f28c:b3a3:23ad talk‎ 15,127 bytes +648‎ →‎Boolean logic: Mention that the boolean connectives can also be represented as prefix operators (and explain how and why) undo

17 June 2020

• curprev 11:0811:08, 17 June 2020‎ Floridada talk contribs‎ 14,479 bytes +261‎ Added reference undo
• curprev 10:5010:50, 17 June 2020‎ Floridada talk contribs‎ 14,218 bytes +90‎ →‎Informal description: Added references undo
• curprev 10:3910:39, 17 June 2020‎ Floridada talk contribs‎ 14,128 bytes +216‎ Added reference undo

1 March 2020

• curprev 13:5013:50, 1 March 2020‎ Paul Murray talk contribs‎ 13,912 bytes −30‎ Removal of unnecessary noise phrases. undo

31 January 2020

• curprev 02:1202:12, 31 January 2020‎ Hairy Dude talk contribs‎ m 13,942 bytes +4‎ →‎See also: italics for book titles undo

11 December 2019

• curprev 19:0419:04, 11 December 2019‎ AnomieBOT talk contribs‎ m 13,938 bytes +19‎ Dating maintenance tags: {{Merge}} undo
• curprev 17:0317:03, 11 December 2019‎ Vkuncak talk contribs‎ m 13,919 bytes +29‎ It should be merged carefully with the other page undo

29 April 2019

• curprev 15:4915:49, 29 April 2019‎ Quasarbooster talk contribs‎ 13,890 bytes +11‎ →‎Informal description: Clarified that Barker's iota combinator is improper (i.e. its reduction rule doesn't only include pure combinations of the variable) undo Tags: Mobile edit Mobile web edit

12 April 2019

• curprev 01:3701:37, 12 April 2019‎ AlreadyDone talk contribs‎ 13,879 bytes −26‎ →‎Informal description undo
• curprev 01:3601:36, 12 April 2019‎ AlreadyDone talk contribs‎ 13,905 bytes 0‎ →‎Informal description undo
• curprev 01:3501:35, 12 April 2019‎ AlreadyDone talk contribs‎ 13,905 bytes −2‎ →‎Informal description undo

16 August 2018

• curprev 07:2607:26, 16 August 2018‎ Tea2min talk contribs‎ 13,907 bytes 0‎ Undid revision 855057895 by 184.160.76.224 (talk): ? It was right before. undo Tag: Undo

15 August 2018

• curprev 16:5716:57, 15 August 2018‎ 184.160.76.224 talk‎ 13,907 bytes 0‎ Double use of `x` from two different scopes that could be misleading to the reader. undo