We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.

Related changes

Jump to navigation Jump to search

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 08:22, 16 July 2026
 
Page name:
List of abbreviations:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes

15 July 2026

     18:32  Combinatory logic diffhist +21 Bobby Jacobs talk contribs (Smullyan briefly mentions KI on Page 179 of TMaM with the name K2.)

11 July 2026

     12:03  Combinatory logic diffhist +2 Bobby Jacobs talk contribs

10 July 2026

     16:10  Combinatory logic‎‎ 4 changes history +96 [PkmnQ‎; B jonas‎; Blashyrkh‎ (2×)]
     
16:10 (cur | prev) +5 PkmnQ talk contribs (→‎Table of combinators: alternate SKI expression for KI)
     
15:34 (cur | prev) +2 Blashyrkh talk contribs (→‎Table of combinators: Shorter BCKW expression for KI (kite))
     
13:15 (cur | prev) +11 Blashyrkh talk contribs (→‎Table of combinators: KI is impossible in IJ basis. Should it be called "kite"? Here it is: https://blog.lahteenmaki.net/combinator-birds.html)
     
12:50 (cur | prev) +78 B jonas talk contribs (KI to the table)