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.
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.) | ||||
| 05:34 | Iota diffhist −588 Corbin talk contribs (Remove speculative/wrong stuff. Sorry about that!) | ||||