Related changes
← Jottary
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.) | ||||
| 03:12 | Turing tarpit diffhist +436 Corbin talk contribs (→Minimal combinator bases: Use theorems from combinatory logic to carefully circumscribe the possibility of a singleton basis.) | ||||
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!) | ||||
| 05:30 | Lambda calculus diffhist +25 Corbin talk contribs (→See also: Closed lambda terms.) | ||||
|
|
05:29 | Turing tarpit 2 changes history −589 [Corbin (2×)] | |||
| m |
|
05:29 (cur | prev) 0 Corbin talk contribs (→Minimal closed lambda terms: Fix formatting.) | |||
|
|
05:28 (cur | prev) −589 Corbin talk contribs (→Minimal combinator bases: Split into two sections. Iota is not a combinator, but it is a closed lambda term. Fix up refs too.) | ||||
4 August 2025
3 August 2025
| 18:50 | Iota diffhist +634 Corbin talk contribs (→Semantics: Hack out a justifiable single-combinator basis; unify grammar somewhat.) | ||||
|
|
18:05 | Turing tarpit 3 changes history +2,393 [WarzokERNST135; Corbin (2×)] | |||
|
|
18:05 (cur | prev) +2,392 Corbin talk contribs (Start structuring the list to reduce vanity tagging. Combinators are an easy first target.) | ||||
|
|
16:33 (cur | prev) −42 Corbin talk contribs (→Survey: Remove non-TC language.) | ||||
|
|
13:26 (cur | prev) +43 WarzokERNST135 talk contribs (→Survey: Added (piggus)) | ||||