Binary combinatory logic: Revision history

24 March 2025

• curprev 02:3802:38, 24 March 2025 Citation bot talk contribs 5,261 bytes +22 Altered template type. Added arxiv. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Combinatory logic | #UCB_Category 6/9 undo

21 November 2024

• curprev 11:2611:26, 21 November 2024 RDBrown talk contribs 5,239 bytes +198 →Further reading: Further Tromp article undo

20 November 2024

• curprev 11:1411:14, 20 November 2024 Citation bot talk contribs 5,041 bytes +22 Added date. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Algorithmic information theory | #UCB_Category 9/22 undo

24 January 2024

• curprev 15:4415:44, 24 January 2024 92.105.188.79 talk 5,019 bytes +60 February 27th, 2022 @ justine's Lambda Calculus in 383 Bytes undo

11 January 2024

• curprev 18:1218:12, 11 January 2024 Citation bot talk contribs 4,959 bytes +29 Added bibcode. | Use this bot. Report bugs. | Suggested by Abductive | Category:Algorithmic information theory | #UCB_Category 10/22 undo

20 January 2023

• curprev 19:0919:09, 20 January 2023 Citation bot talk contribs 4,930 bytes +101 Alter: journal. Add: website, url, isbn. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 2/1800 undo

22 May 2022

• curprev 22:4722:47, 22 May 2022 Ffffrr talk contribs 4,829 bytes +52 Adding short description: "Computer programming language" (Shortdesc helper) undo

26 February 2022

• curprev 03:5803:58, 26 February 2022 Bender the Bot talk contribs m 4,777 bytes +1 →S-K Basis: HTTP to HTTPS for Wayback Machine, replaced: http://web.archive.org/ → https://web.archive.org/ undo Tag: AWB

1 February 2022

• curprev 23:0323:03, 1 February 2022 Rlink2 talk contribs m 4,776 bytes +155 →S-K Basis: Adding web.archive.org links for citations with url-status=live Category:CS1_maint:_url-status undo Tag: AWB

19 January 2022

• curprev 01:5201:52, 19 January 2022 Dexbot talk contribs m 4,621 bytes 0 Bot: Aligning section names with MOS:SECTIONS undo

18 January 2022

• curprev 19:1919:19, 18 January 2022 MELewis2005 talk contribs m 4,621 bytes −1 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

12 January 2022

• curprev 17:4017:40, 12 January 2022 Tromp talk contribs 4,622 bytes −1 →S-K Basis: Fix typo/bug. undo

22 December 2021

• curprev 04:3904:39, 22 December 2021 Rlink2 talk contribs m 4,623 bytes +130 →External links: Fixing archives for YouTube videos (WP:Link_Rot, WP:CEFC#Pre-emptive_archiving, phab:T294880) undo Tag: AWB

18 December 2021

• curprev 12:0212:02, 18 December 2021 Jacob Stegemann talk contribs 4,493 bytes +2 →top: Fixed grammar undo Tags: canned edit summary Mobile edit Mobile app edit Android app edit

15 September 2021

• curprev 10:4410:44, 15 September 2021 77.249.230.40 talk 4,491 bytes +9 fix broken link by linking to hint file instead of directory undo

9 September 2021

• curprev 14:3414:34, 9 September 2021 87.229.229.14 talk 4,482 bytes −1 Fixed a typo undo

20 August 2021

• curprev 17:4417:44, 20 August 2021 Kku talk contribs m 4,483 bytes +4 link programming language using Find link undo

19 April 2021

• curprev 04:3304:33, 19 April 2021 RDBrown talk contribs 4,479 bytes +170 →External links: Add link to Brauner's Videos undo

1 March 2021

• curprev 01:0701:07, 1 March 2021 WikiCleanerBot talk contribs m 4,309 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

18 February 2021

• curprev 16:2716:27, 18 February 2021 Spikeylegs talk contribs m 4,309 bytes −8 →Semantics: Minor c/e undo Tag: Visual edit

17 February 2021

• curprev 18:1018:10, 17 February 2021 Spikeylegs talk contribs m 4,317 bytes +221 →Further Readings: Added further reading Combinatory Logic undo Tag: Visual edit: Switched
• curprev 18:0718:07, 17 February 2021 47.156.241.141 talk 4,096 bytes +462 Added Further reading and universality of BCL undo Tag: Visual edit

15 February 2021

• curprev 21:3921:39, 15 February 2021 Spikeylegs talk contribs m 3,634 bytes +29 →S-K Basis: Minor content editing undo Tag: Visual edit
• curprev 21:3621:36, 15 February 2021 Spikeylegs talk contribs 3,605 bytes +834 →Definition: Hopefully made this easier to read! It's just using combinators to represent binary boolean logic(and vice versa). undo Tag: Visual edit

31 January 2021

• curprev 17:1217:12, 31 January 2021 Shadowssettle talk contribs 2,771 bytes −38 It's not incomprehensible, just incredibly technical undo

20 August 2020

• curprev 12:1512:15, 20 August 2020 89.245.0.87 talk 2,809 bytes +67 →External links undo

11 July 2020

• curprev 10:4510:45, 11 July 2020 OwenBlacker talk contribs 2,742 bytes +17 Template:Incomprehensible and Template:Context — this article is pitched too expert — also fixed syntax highlighting undo

11 May 2020

• curprev 17:2717:27, 11 May 2020 DannyS712 bot talk contribs m 2,725 bytes +18 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

17 April 2020

• curprev 15:2615:26, 17 April 2020 OAbot talk contribs m 2,707 bytes +21 Open access bot: doi added to citation with #oabot. undo

17 February 2019

• curprev 15:2815:28, 17 February 2019 Citation bot talk contribs m 2,686 bytes +2 Add: citeseerx, isbn. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

28 August 2018

• curprev 06:5206:52, 28 August 2018 Commevsp talk contribs 2,684 bytes −58 Removed deprecated HTML markup category undo
• curprev 06:5006:50, 28 August 2018 Commevsp talk contribs m 2,742 bytes +80 →Semantics: Changed <tt> to non-deprecated <code> tags undo

18 August 2018

• curprev 20:2620:26, 18 August 2018 AnomieBOT talk contribs m 2,662 bytes +17 Dating maintenance tags: {{Cleanup HTML}} undo
• curprev 20:0520:05, 18 August 2018 Beland talk contribs 2,645 bytes +41 {{cleanup HTML}} <!-- tt is obsolete --> undo

30 October 2017

• curprev 12:2512:25, 30 October 2017 2601:647:4d03:3ca7:a553:63e4:b051:186f talk 2,604 bytes +28 No edit summary undo

19 September 2017

• curprev 12:0412:04, 19 September 2017 KolbertBot talk contribs m 2,576 bytes +1 Bot: HTTP→HTTPS (v456) undo

21 March 2017

• curprev 21:1121:11, 21 March 2017 Gurmeet0108 talk contribs m 2,575 bytes −56 Coorected a link in ref undo Tag: Visual edit

13 February 2017

• curprev 03:2003:20, 13 February 2017 Tromp talk contribs m 2,631 bytes −29 Binary lambda calculus now redirects here undo
• curprev 03:1903:19, 13 February 2017 Tromp talk contribs m 2,660 bytes −54 John's homepage moved undo

6 February 2017

• curprev 07:3407:34, 6 February 2017 Cedar101 talk contribs m 2,714 bytes +17 →Definition: <source lang="bnf"> undo

2 November 2016

• curprev 19:3119:31, 2 November 2016 InternetArchiveBot talk contribs 2,697 bytes +46 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.2.6) undo

3 June 2016

• curprev 23:2723:27, 3 June 2016 GB fan talk contribs 2,651 bytes −158 Reverted 1 edit by Toploftical (talk): Decline speedy delete, that is not a valid speedy deletion criterion. (TW) undo
• curprev 16:1316:13, 3 June 2016 Toploftical talk contribs 2,809 bytes +158 speedy delete nomination undo

29 December 2015

• curprev 04:4104:41, 29 December 2015 Cedar101 talk contribs m 2,651 bytes −48 →Semantics: replace <math>\rightarrow</math> to → undo

12 May 2014

• curprev 00:0100:01, 12 May 2014 David Eppstein talk contribs 2,699 bytes +643 source undo

22 April 2009

• curprev 19:5619:56, 22 April 2009 SmackBot talk contribs m 2,056 bytes +16 Date maintenance tags and general fixes undo
• curprev 09:2709:27, 22 April 2009 ComputScientist talk contribs 2,040 bytes +18 This article has no published references and I could not find any myself undo

13 March 2009

• curprev 22:0922:09, 13 March 2009 The Anome talk contribs 2,022 bytes +6 fmt undo
• curprev 04:0004:00, 13 March 2009 Michael Hardy talk contribs 2,016 bytes 0 →See also undo
• curprev 04:0004:00, 13 March 2009 Michael Hardy talk contribs m 2,016 bytes 0 No edit summary undo