Knowledge

Talk:Binary combinatory logic

Source 📝

74: 53: 22: 149:
I think this article may not have reliable sources, but it deserves to live at least because of very concise and elegant definition of it's subject. Even if this is an original investigation, I suppose that it has no chances to be published standalone, yet contains useful information. I myself being
244: 240: 226: 311: 132: 122: 306: 98: 153: 150:
logician haven't even realized that S and K combinators can be written in prefix codes in this way. But it's so obvious and elegant.
316: 81: 58: 192: 287: 33: 243:
to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the
176: 21: 157: 278: 184: 94: 262:
If you have discovered URLs which were erroneously considered dead by the bot, you can report them with
250: 39: 183:. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit 217: 97:
on Knowledge. If you would like to participate, please visit the project page, where you can join
247:
before doing mass systematic removals. This message is updated dynamically through the template
263: 270: 229:, "External links modified" talk page sections are no longer generated or monitored by 193:
https://web.archive.org/web/20051119172250/http://homepages.cwi.nl:80/~tromp/cl/cl.html
269:
If you found an error with any archives or the URLs themselves, you can fix them with
300: 292: 161: 236: 73: 52: 235:. No special action is required regarding these talk page notices, other than 196: 90: 86: 15: 202:
When you have finished reviewing my changes, please set the
187:
for additional information. I made the following changes:
180: 85:, a collaborative effort to improve the coverage of 239:using the archive tool instructions below. Editors 225:This message was posted before February 2018. 8: 19: 175:I have just modified one external link on 47: 197:http://homepages.cwi.nl/~tromp/cl/cl.html 49: 214:to let others know (documentation at 7: 79:This article is within the scope of 38:It is of interest to the following 14: 312:Low-importance Computing articles 179:. Please take a moment to review 72: 51: 20: 127:This article has been rated as 107:Knowledge:WikiProject Computing 307:Start-Class Computing articles 110:Template:WikiProject Computing 1: 101:and see a list of open tasks. 293:19:31, 2 November 2016 (UTC) 333: 256:(last update: 5 June 2024) 172:Hello fellow Wikipedians, 133:project's importance scale 126: 67: 46: 177:Binary combinatory logic 162:21:40, 5 June 2012 (UTC) 168:External links modified 317:All Computing articles 95:information technology 28:This article is rated 82:WikiProject Computing 237:regular verification 227:After February 2018 206:parameter below to 281:InternetArchiveBot 232:InternetArchiveBot 113:Computing articles 34:content assessment 257: 147: 146: 143: 142: 139: 138: 324: 291: 282: 255: 254: 233: 221: 115: 114: 111: 108: 105: 76: 69: 68: 63: 55: 48: 31: 25: 24: 16: 332: 331: 327: 326: 325: 323: 322: 321: 297: 296: 285: 280: 248: 241:have permission 231: 215: 185:this simple FaQ 170: 112: 109: 106: 103: 102: 61: 32:on Knowledge's 29: 12: 11: 5: 330: 328: 320: 319: 314: 309: 299: 298: 275: 274: 267: 200: 199: 191:Added archive 169: 166: 145: 144: 141: 140: 137: 136: 129:Low-importance 125: 119: 118: 116: 99:the discussion 77: 65: 64: 62:Low‑importance 56: 44: 43: 37: 26: 13: 10: 9: 6: 4: 3: 2: 329: 318: 315: 313: 310: 308: 305: 304: 302: 295: 294: 289: 284: 283: 272: 268: 265: 261: 260: 259: 252: 246: 242: 238: 234: 228: 223: 219: 213: 209: 205: 198: 194: 190: 189: 188: 186: 182: 178: 173: 167: 165: 163: 159: 155: 154:87.110.182.18 151: 134: 130: 124: 121: 120: 117: 100: 96: 92: 88: 84: 83: 78: 75: 71: 70: 66: 60: 57: 54: 50: 45: 41: 35: 27: 23: 18: 17: 279: 276: 251:source check 230: 224: 211: 207: 203: 201: 174: 171: 152: 148: 128: 80: 40:WikiProjects 218:Sourcecheck 30:Start-class 301:Categories 288:Report bug 271:this tool 264:this tool 164:Anatoly. 104:Computing 91:computing 87:computers 59:Computing 277:Cheers.— 204:checked 181:my edit 131:on the 212:failed 93:, and 36:scale. 208:true 158:talk 245:RfC 222:). 210:or 195:to 123:Low 303:: 258:. 253:}} 249:{{ 220:}} 216:{{ 160:) 89:, 290:) 286:( 273:. 266:. 156:( 135:. 42::

Index


content assessment
WikiProjects
WikiProject icon
Computing
WikiProject icon
WikiProject Computing
computers
computing
information technology
the discussion
Low
project's importance scale
87.110.182.18
talk
21:40, 5 June 2012 (UTC)
Binary combinatory logic
my edit
this simple FaQ
https://web.archive.org/web/20051119172250/http://homepages.cwi.nl:80/~tromp/cl/cl.html
http://homepages.cwi.nl/~tromp/cl/cl.html
Sourcecheck
After February 2018
regular verification
have permission
RfC
source check
this tool
this tool
InternetArchiveBot

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.