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
7 August 2025
|
|
22:14 | Burn 2 changes history 0 [Ractangle; Hotcrystal0] | |||
| m |
|
22:14 (cur | prev) −6 Ractangle talk contribs (oops, I used the nowiki tag for the template) Tag: Manual revert | |||
|
|
22:10 (cur | prev) +6 Hotcrystal0 talk contribs (br tag) Tag: Reverted | ||||
|
|
m 16:41 | Joke language list 2 changes history +121 [Myalt2334 (2×)] | |||
| m |
|
16:41 (cur | prev) +23 Myalt2334 talk contribs (→Brainfuck derivatives) | |||
| m |
|
16:41 (cur | prev) +98 Myalt2334 talk contribs (→Brainfuck derivatives) | |||
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.) | ||||
| 05:19 | Language list diffhist +16 Thomas talk contribs | ||||
| 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.) | ||||
| 20:20 | Deadfish diffhist −258 Ractangle talk contribs (→Commands: we really don't need more) | ||||
|
|
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)) | ||||
|
|
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) | ||||
2 August 2025
| m 14:54 | Language list diffhist +83 WarzokERNST135 talk contribs (→P: Added pigs) | ||||
| 12:59 | APL diffhist +605 Corbin talk contribs (Infobox, bluelinks, references.) | ||||
| 12:43 | Pointfree programming diffhist +324 Corbin talk contribs (More-or-less rewrite. I saved as much as I could, including bluelinks.) | ||||
|
|
02:57 | DNA-Sharp 4 changes history −88 [EiroWarn (4×)] | |||
|
|
02:57 (cur | prev) −5 EiroWarn talk contribs (Changed the page sorting and added a new interpreter (developed by me)) | ||||
|
|
01:54 (cur | prev) −83 EiroWarn talk contribs (Completely eliminated ambiguity regarding the ''='' symbol) Tag: Manual revert | ||||
|
|
01:53 (cur | prev) +83 EiroWarn talk contribs (Undo revision 162688 by EiroWarn (talk)) Tags: Undo Reverted | ||||
|
|
01:52 (cur | prev) −83 EiroWarn talk contribs (彻底消除了对于''=''符号的歧义) Tag: Reverted | ||||
1 August 2025
| 23:59 | Category:Declarative paradigm diffhist +1,400 Corbin talk contribs (Integrate Neel's concept of declarative programming, which is IME the only one that doesn't invite bikeshedding.) | ||||
| 14:26 | Joke language list diffhist +58 PJ11 talk contribs (→General languages) | ||||
| m 09:49 | User:Ractangle diffhist +29 Ractangle talk contribs | ||||