Related changes

Beskew
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 10:46, 8 August 2025
 
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

6 August 2025

     18:45  Combinatory logic‎‎ 5 changes history +5,849 [Corbin‎ (5×)]
     
18:45 (cur | prev) +68 Corbin talk contribs (→‎Table of combinators: Add W.)
     
02:38 (cur | prev) +2,819 Corbin talk contribs (Add a detailed section on completeness and related concepts.)
     
01:52 (cur | prev) +696 Corbin talk contribs (→‎Properties: Finish listing properties. What they have in common is some sort of obstruction to completeness.)
     
01:28 (cur | prev) +1,899 Corbin talk contribs (Put SKI and BCKW on the same ground as other systems in the literature.)
     
00:11 (cur | prev) +367 Corbin talk contribs (Shuffle headers to focus on systems. Also fill in a couple missing rows in the table.)

5 August 2025

     20:21  Combinatory logic‎‎ 8 changes history +2,556 [Corbin‎ (8×)]
     
20:21 (cur | prev) +406 Corbin talk contribs (→‎Properties: Add two more important properties.)
 m   
20:07 (cur | prev) −169 Corbin talk contribs (→‎Table of combinators: Found most of the unsourced birds; they're in Smullyan, but not in the glossary.)
     
19:27 (cur | prev) +308 Corbin talk contribs (Cracked open my copy of Mockingbird and double-checked the bird names.)
     
19:11 (cur | prev) +559 Corbin talk contribs (→‎Non-primitives: Format the table.)
     
18:51 (cur | prev) +175 Corbin talk contribs (→‎Properties: Rank is an invariant.)
 m   
06:17 (cur | prev) −42 Corbin talk contribs (→‎BCKW calculus: Don't spuriously re-define combinators. It's the same K combinator in both systems.)
     
06:14 (cur | prev) +375 Corbin talk contribs (→‎Combinators: Integrate above sections, hack out theorems, and remove some non-combinators documented at closed lambda term.)
     
05:14 (cur | prev) +944 Corbin talk contribs (Clean up example, move it to top, and add section on properties.)
     20:20  Deadfish diffhist −258 Ractangle talk contribs (→‎Commands: we really don't need more)

3 August 2025

     13:14  Deadfish‎‎ 2 changes history +188 [WarzokERNST135‎ (2×)]
     
13:14 (cur | prev) +52 WarzokERNST135 talk contribs (→‎Variants of deadfish: Added No mans fish)
     
12:59 (cur | prev) +136 WarzokERNST135 talk contribs (→‎Commands: Added No mans fish variation)