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
5 August 2025
|
|
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: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)) | ||||