Timeline for Is there a combinator that introduces brackets to a combinatory logic expression using just B?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 24 at 9:55 | answer | added | NinjaDarth | timeline score: 0 | |
| Apr 22, 2018 at 11:02 | answer | added | baronbrixius | timeline score: 1 | |
| Apr 20, 2018 at 15:32 | comment | added | baronbrixius | The first two are allowed, the third one is not. | |
| Apr 20, 2018 at 10:22 | comment | added | chi | What is a "combinator in terms of a $B$ only", precisely? I.e. are $BBBabcdef, B(BB)abcdef, Ba(Bbcd)(Bef)$ allowed as "only in terms of $B$"? (Note that none of these is a solution, I just want to understand the rules of the game.) Which ones could be allowed? | |
| Apr 20, 2018 at 6:48 | review | First posts | |||
| Apr 20, 2018 at 7:17 | |||||
| Apr 20, 2018 at 6:44 | history | asked | baronbrixius | CC BY-SA 3.0 |