Combinatory logic: Revision history

15 July 2011

• curprev 00:3200:32, 15 July 2011‎ Jnhnum1 talk contribs‎ m 40,070 bytes −1‎ grammar fix

29 March 2011

• curprev 17:0317:03, 29 March 2011‎ Ezrakilty talk contribs‎ 40,071 bytes +56‎ →‎General

29 January 2009

• curprev 21:5921:59, 29 January 2009‎ Lemming talk contribs‎ 40,015 bytes +4‎ link to "separation of concerns"

18 January 2008

• curprev 09:0309:03, 18 January 2008‎ Lemming talk contribs‎ 40,011 bytes +5‎ link to deforestation

17 May 2007

• curprev 22:5822:58, 17 May 2007‎ BrettGiles talk contribs‎ m 40,006 bytes +25‎ Add category

14 November 2006

• curprev 23:4223:42, 14 November 2006‎ BrettGiles talk contribs‎ m 39,981 bytes +66‎ Headings

10 August 2006

• curprev 23:5023:50, 10 August 2006‎ EndreyMark talk contribs‎ m 39,915 bytes +130‎ Mentioning other solutions (which are just mentioned, because they are more complicated)
• curprev 23:3523:35, 10 August 2006‎ EndreyMark talk contribs‎ 39,785 bytes +918‎ →‎Maybe2: Defining Maybe2 datatype (found in an old Hugs library) in CL

7 August 2006

• curprev 17:3617:36, 7 August 2006‎ EndreyMark talk contribs‎ 38,867 bytes +570‎ →‎Applications: Mentioning artificial language ``Lojban'' and its possible relatedness to combinatory logic

3 August 2006

• curprev 13:3913:39, 3 August 2006‎ EndreyMark talk contribs‎ 38,297 bytes +45‎ →‎Applications: Referring to Chaitin's construction, which can show why combinatory logic can be important in other areas of mathematics

19 July 2006

• curprev 19:1519:15, 19 July 2006‎ EndreyMark talk contribs‎ m 38,252 bytes +1‎ Partial spell-check with `spell'
• curprev 18:5518:55, 19 July 2006‎ EndreyMark talk contribs‎ 38,251 bytes +453‎ →‎Applications: CL's linguistical applications, especially applicative universal grammar

19 June 2006

• curprev 13:2013:20, 19 June 2006‎ EndreyMark talk contribs‎ m 37,798 bytes 0‎ →‎Illative combinatory logic: Converting headline to sentence-style capitalization (to meet HaskellWiki:Guidelines#Headlines)

17 June 2006

• curprev 13:2613:26, 17 June 2006‎ EndreyMark talk contribs‎ m 37,798 bytes +2‎ Using Wikipedia's both-shape quotation marks: “-begun ”-ended, instead of the homogenous "-same-as-"
• curprev 13:2013:20, 17 June 2006‎ EndreyMark talk contribs‎ 37,796 bytes +445‎ →‎General: Describing pointfree taste of CL, mentioning Recursive function theory's lack-of-variables

7 June 2006

• curprev 10:2210:22, 7 June 2006‎ EndreyMark talk contribs‎ m 37,351 bytes +4‎ Initiating new page Mathematics. Mainly it is Paul Taylor's ``Practical Foundations of Mathematics'' book (found in Books and tutorials# Foundations that forced me to create this new page.

5 June 2006

• curprev 15:3215:32, 5 June 2006‎ EndreyMark talk contribs‎ m 37,347 bytes +4‎ Other links updated
• curprev 15:3015:30, 5 June 2006‎ EndreyMark talk contribs‎ m 37,343 bytes +4‎ Update a link because of the newly crated page Attribute grammar

24 May 2006

• curprev 12:2512:25, 24 May 2006‎ EndreyMark talk contribs‎ 37,339 bytes +4‎ In section →‎Base: , creating new page Continuation by making a world to a link

22 May 2006

• curprev 11:0011:00, 22 May 2006‎ EndreyMark talk contribs‎ m 37,335 bytes −6‎ The mentioned link can be found in section →‎General: . Some minor edits.
• curprev 10:4710:47, 22 May 2006‎ EndreyMark talk contribs‎ 37,341 bytes +442‎ Link to the site ``To dissect a Mockingbird'' -- a graphical notation for combinatory logic. An online, free material. Also some related links.

28 March 2006

• curprev 10:0610:06, 28 March 2006‎ EndreyMark talk contribs‎ m 36,899 bytes 0‎ typographic correction
• curprev 10:0210:02, 28 March 2006‎ EndreyMark talk contribs‎ 36,899 bytes +514‎ (1) Self-creating and conscience: Adding links to theoretical biology -- annotations and ToC of Maturana & Varela's books: Autopoesis & Tree of Knowledge. (2) Some typographic corrections too

25 March 2006

• curprev 19:5819:58, 25 March 2006‎ EndreyMark talk contribs‎ m 36,385 bytes −1‎ Updating link to Dependent type following its redirection
• curprev 01:3801:38, 25 March 2006‎ EndreyMark talk contribs‎ m 36,386 bytes −8‎ Deleting a superfluous argument from the type of the ,,interpreter'' function
• curprev 01:0801:08, 25 March 2006‎ EndreyMark talk contribs‎ 36,394 bytes +2,081‎ Terminology and mathematical notation is partly renewed: it can differentiate concepts in a more sophisticated way. New notations are accompanied with expanations and motivations why I chose them

24 March 2006

• curprev 23:0423:04, 24 March 2006‎ EndreyMark talk contribs‎ m 34,313 bytes −2‎ typographic corrections
• curprev 17:1517:15, 24 March 2006‎ EndreyMark talk contribs‎ m 34,315 bytes +2‎ Better alignment of the ,,quotation stratfication'' picture
• curprev 16:3316:33, 24 March 2006‎ EndreyMark talk contribs‎ 34,313 bytes +2,870‎ The stratification of quotation series in writing a CL self-reproducing program (quine). Huge amount of quoting supprts the idea of a lightweight library for CL instead of an interpreter with commands

23 March 2006

• curprev 14:4314:43, 23 March 2006‎ DonStewart talk contribs‎ 31,443 bytes +145‎ Note that lambdabot too has an unlambda interpreter
• curprev 09:4709:47, 23 March 2006‎ EndreyMark talk contribs‎ m 31,298 bytes −1‎ simulating TeX's displaymath with MediaWiki's indented math (: <math>...</math>) instead of (unordered) lists
• curprev 08:5308:53, 23 March 2006‎ EndreyMark talk contribs‎ m 31,299 bytes −1‎ 1) typographic correction 2) swapping the order of mailing list references to make a subset-superset order
• curprev 08:4508:45, 23 March 2006‎ EndreyMark talk contribs‎ 31,300 bytes +407‎ Unlambda (a combinaitry logic programming language) resources: 1) a metacircular interpreter 2) an implementation of Unlambda in Haskell

9 March 2006

• curprev 12:4512:45, 9 March 2006‎ EndreyMark talk contribs‎ m 30,893 bytes −34‎ haskell inline code highlight
• curprev 10:3310:33, 9 March 2006‎ EndreyMark talk contribs‎ m 30,927 bytes +114‎ layout improvements (syntax highlight made some smaller word order changes appropriate) and correcting some typographic or latex errors
• curprev 10:1710:17, 9 March 2006‎ EndreyMark talk contribs‎ m 30,813 bytes +397‎ enabling syntax highlight for the Haskell code examples by paranthesing them by <haskell>...</haskell>

7 March 2006

• curprev 16:3516:35, 7 March 2006‎ EndreyMark talk contribs‎ 30,416 bytes +1,460‎ Adding new links to introductory materials, two new illative combinatory logic links, and an ,,inner'' link to Haskell Wiki's Linguistics page

6 March 2006

• curprev 01:5001:50, 6 March 2006‎ EndreyMark talk contribs‎ 28,956 bytes +208‎ Adding links to quine pages (e.g. that of Wikipedia) and mentioning book on meta-level architectures and reflection

5 March 2006

• curprev 23:3423:34, 5 March 2006‎ EndreyMark talk contribs‎ 28,748 bytes +38‎ Categorizing this article under ,,Theoretical foundations''

4 March 2006

• curprev 17:3417:34, 4 March 2006‎ EndreyMark talk contribs‎ 28,710 bytes +2,055‎ The idea of building a CL metacircular interpeter: implementing CL in itself. Problems in formulating algorithm for lazy evaluation in CL
• curprev 01:1101:11, 4 March 2006‎ EndreyMark talk contribs‎ 26,655 bytes +410‎ Link to G.J. Chaitins's book ,,The Unknowable'' (the limits of mathematics: Goldel's undecidable, Turing's uncompatiblity, Chaitin's randomness. On future and beuty of science
• curprev 00:4100:41, 4 March 2006‎ EndreyMark talk contribs‎ 26,245 bytes +8,315‎ The concept of ,,self replicating programs'' (quines) described, then generalized to pure combinatory logic and lambda-calculus. Background references. Concept of quotation / representation

3 March 2006

• curprev 15:3915:39, 3 March 2006‎ EndreyMark talk contribs‎ 17,930 bytes +1,374‎ Adding the new section ,,Base'', containing now some thoughts on other interpretations of base combinators K and S
• curprev 14:2814:28, 3 March 2006‎ EndreyMark talk contribs‎ m 16,556 bytes +37‎ Some layout improvements with more appropriate horizontal spacings
• curprev 14:2214:22, 3 March 2006‎ EndreyMark talk contribs‎ m 16,519 bytes +539‎ Typesetting all combinators with boldface uniformly, so that they can be distiguished easily from variables and (other) metasigns
• curprev 13:1313:13, 3 March 2006‎ EndreyMark talk contribs‎ m 15,980 bytes +10‎ better layout for opreration ,,maybe->>='' by reducing space between hyphen and greater-than-sign
• curprev 11:0311:03, 3 March 2006‎ EndreyMark talk contribs‎ 15,970 bytes +3,469‎ Maybe as a monad: implementing the monadic operations of Maybe in Combinatory logic

2 March 2006

• curprev 21:4721:47, 2 March 2006‎ EndreyMark talk contribs‎ m 12,501 bytes 0‎ Word order misplacement corrected
• curprev 21:4421:44, 2 March 2006‎ EndreyMark talk contribs‎ m 12,501 bytes +48‎ Stylistic clarifying: only one of the Maybe-constructors is common with an Either-constructor
• curprev 21:1721:17, 2 March 2006‎ EndreyMark talk contribs‎ 12,453 bytes +896‎ Implementing Maybe in CL in continuation passing style