Talk:SKI combinator calculus: Revision history

9 February 2024

• curprev 11:0611:06, 9 February 2024 Cewbot talk contribs m 13,618 bytes +29 Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "C" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{Maths rating}}. Remove 1 deprecated parameter: field. undo Tag: Talk banner shell conversion

23 August 2023

• curprev 01:4001:40, 23 August 2023 2600:6c5e:1c7f:3889:7d98:c64a:d299:e673 talk 13,589 bytes +775 →Recursive parameter passing and quoting K=λq.λi.q undo

18 May 2020

• curprev 00:1000:10, 18 May 2020 Chris2crawford talk contribs 12,814 bytes +322 →Recursive parameter passing and quoting K=λq.λi.q: new section undo

1 March 2020

• curprev 13:4913:49, 1 March 2020 Paul Murray talk contribs 12,492 bytes +11 →Note That undo
• curprev 13:4613:46, 1 March 2020 Paul Murray talk contribs 12,481 bytes +976 →Note That: new section undo

16 January 2020

• curprev 13:4013:40, 16 January 2020 75.130.143.161 talk 11,505 bytes +260 The paragraph about Nock's connection to S and K is disputed undo

22 July 2017

• curprev 14:2414:24, 22 July 2017 86.82.44.193 talk 11,245 bytes +635 No edit summary undo

18 February 2017

• curprev 22:3922:39, 18 February 2017 Bryanrutherford0 talk contribs 10,610 bytes +31 Adding class, importance and field to maths rating template undo

17 February 2017

• curprev 09:0809:08, 17 February 2017 Christian75 talk contribs 10,579 bytes +18 Assessment: +Mathematics (assisted) undo

5 July 2016

• curprev 11:4811:48, 5 July 2016 JulienCo talk contribs 10,561 bytes +66 No edit summary undo
• curprev 11:3611:36, 5 July 2016 JulienCo talk contribs 10,495 bytes +253 No edit summary undo

11 December 2014

• curprev 23:2123:21, 11 December 2014 Schepler talk contribs 10,242 bytes +13 →Describe abstraction elimination algorithm? undo
• curprev 23:1223:12, 11 December 2014 Schepler talk contribs 10,229 bytes −63 →Describe abstraction elimination algorithm? undo
• curprev 20:5420:54, 11 December 2014 Schepler talk contribs 10,292 bytes 0 →Describe abstraction elimination algorithm? undo
• curprev 20:4720:47, 11 December 2014 Schepler talk contribs 10,292 bytes +9 →Describe abstraction elimination algorithm? undo
• curprev 20:4620:46, 11 December 2014 Schepler talk contribs 10,283 bytes +2,600 →Describe abstraction elimination algorithm?: new section undo

10 July 2012

• curprev 17:0317:03, 10 July 2012 Stilroc talk contribs 7,683 bytes +837 →Implementations: new section undo

17 June 2011

• curprev 19:3919:39, 17 June 2011 Patillotes talk contribs 6,846 bytes +140 →Unlambda and Lazy K references undo
• curprev 19:3519:35, 17 June 2011 Patillotes talk contribs 6,706 bytes +307 No edit summary undo

1 February 2011

• curprev 00:2500:25, 1 February 2011 Jkauzlar talk contribs 6,399 bytes +164 No edit summary undo

19 September 2010

• curprev 00:2000:20, 19 September 2010 Hairy Dude talk contribs 6,235 bytes +342 →Historical timeline of SKI Calculus and Lambda Calculus: needs more refs undo

16 September 2010

• curprev 13:3713:37, 16 September 2010 Jwmittag talk contribs 5,893 bytes +1,094 →Historical timeline of SKI Calculus and Lambda Calculus: new section undo

23 October 2009

• curprev 21:1121:11, 23 October 2009 Hairy Dude talk contribs m 4,799 bytes +34 →K and S arising from the exponential monad on a cartesian closed category: maybe natural transformation undo
• curprev 21:1021:10, 23 October 2009 Hairy Dude talk contribs 4,765 bytes +1,290 →K and S arising from the exponential monad on a cartesian closed category: new section undo

30 May 2008

• curprev 07:2307:23, 30 May 2008 TomCubed talk contribs m 3,475 bytes +56 →Not undo
• curprev 07:2207:22, 30 May 2008 TomCubed talk contribs 3,419 bytes −32 →Not undo
• curprev 07:2107:21, 30 May 2008 72.92.125.223 talk 3,451 bytes +2 →Not undo
• curprev 07:2007:20, 30 May 2008 72.92.125.223 talk 3,449 bytes +358 →Not undo

8 March 2008

• curprev 15:0215:02, 8 March 2008 Gregbard talk contribs 3,091 bytes −44 No edit summary undo

15 February 2008

• curprev 19:2319:23, 15 February 2008 89.27.19.182 talk 3,135 bytes +421 No edit summary undo

8 October 2007

• curprev 09:4909:49, 8 October 2007 Gregbard talk contribs m 2,714 bytes +32 logic --> philosophy using AWB undo

31 July 2007

• curprev 06:2006:20, 31 July 2007 SatyrBot talk contribs m 2,682 bytes +13 SatyrBot auto-adding tag to talk page. See User:SatyrBot/Current project undo

20 February 2007

• curprev 00:4600:46, 20 February 2007 Bsmntbombdood talk contribs 2,669 bytes −33 ouch--bad goof on my part undo

17 February 2007

• curprev 09:0009:00, 17 February 2007 Bsmntbombdood talk contribs m 2,702 bytes +33 oops, simplify undo
• curprev 05:5605:56, 17 February 2007 Bsmntbombdood talk contribs m 2,669 bytes +14 No edit summary undo
• curprev 05:5405:54, 17 February 2007 Bsmntbombdood talk contribs m 2,655 bytes +24 No edit summary undo
• curprev 05:4005:40, 17 February 2007 Bsmntbombdood talk contribs 2,631 bytes +623 iota in iota undo

6 December 2006

• curprev 19:5419:54, 6 December 2006 EvincarOfAutumn talk contribs 2,008 bytes −29 →Not undo

27 September 2006

• curprev 11:2211:22, 27 September 2006 EvincarOfAutumn talk contribs 2,037 bytes +357 →Not undo

18 August 2006

• curprev 07:2107:21, 18 August 2006 Moe Aboulkheir talk contribs 1,680 bytes +577 ask question about postfix NOT undo

14 May 2006

• curprev 20:4020:40, 14 May 2006 Jon Awbrey talk contribs 1,103 bytes +298 reply undo
• curprev 20:1720:17, 14 May 2006 Edwinb~enwiki talk contribs 805 bytes +805 No edit summary