User contributions for EndreyMark

1 March 2006

• 23:5423:54, 1 March 2006 diff hist +20‎ m Dependent type ‎ Combinatory Logic as piped link
• 23:5123:51, 1 March 2006 diff hist +18‎ m Combinatory logic ‎ Dependent Types as piped link
• 20:1020:10, 1 March 2006 diff hist +1,028‎ Combinatory logic ‎ Implementing direct sum in CL in a continuation passing style way
• 18:1418:14, 1 March 2006 diff hist 0‎ m Combinatory logic ‎ Link from CombinatoryLogic back to DependentTypes (so the circular linking is established)
• 18:1018:10, 1 March 2006 diff hist +316‎ Combinatory logic ‎ the ,,not'' operation on Booleans as example for usefulness of ordered pair (direct product) construct
• 17:5017:50, 1 March 2006 diff hist +133‎ m Combinatory logic ‎ Introducing the list-as-implementation-of-monad's-interface idea in a more clear way
• 17:4717:47, 1 March 2006 diff hist +49‎ m Combinatory logic ‎ Curry's deferred combinators are denoted by indexing AND parantheses
• 17:2317:23, 1 March 2006 diff hist +1‎ m Combinatory logic ‎ Missing space character inserted
• 17:1917:19, 1 March 2006 diff hist +441‎ Dependent type ‎ Links on Curry-Howard isomorphism added to ,,Concept'' section / ,,TypeTheory'' subsection
• 16:4816:48, 1 March 2006 diff hist 0‎ m Dependent type ‎ ,,Illative'' misstype corrected
• 16:4616:46, 1 March 2006 diff hist +271‎ Dependent type ‎ Refining the structure: adding subsections ,,General'' to ,,Concept'', ,,Other Techniques'' to ,,Languages''
• 16:2316:23, 1 March 2006 diff hist −6‎ m Dependent type ‎ Using level 1 headlines for top-level structuring, according to HaskellWiki:Guidelines
• 16:1216:12, 1 March 2006 diff hist +1‎ m Future of Haskell ‎ possessive suffix
• 16:0316:03, 1 March 2006 diff hist +836‎ m Combinatory logic ‎ Link to a combinatory logic interpreter (Hungarian-language-documented, Haskell-implemented)
• 15:2715:27, 1 March 2006 diff hist +3‎ m Dependent type ‎ Link to Combinatory Logic wiki page
• 15:2515:25, 1 March 2006 diff hist +1,576‎ Combinatory logic ‎ ->Illative Combinatory Logic section with some dreams and a tutorial added
• 14:5214:52, 1 March 2006 diff hist 0‎ m Books ‎ nicer layout of the previously corrected link
• 14:4714:47, 1 March 2006 diff hist +123‎ m Books ‎ Correcting broken link to Jeroen Fokker's Functional Programming
• 14:3014:30, 1 March 2006 diff hist +11‎ m Dependent type ‎ table of contents
• 14:2814:28, 1 March 2006 diff hist +29‎ Dependent type ‎No edit summary
• 14:1814:18, 1 March 2006 diff hist −12‎ m Future of Haskell ‎ Seamless link connections between the separate Dependent Types wikipage and Haskell Future page
• 14:0014:00, 1 March 2006 diff hist −1,284‎ Future of Haskell ‎ Moving the details of the Dependent Types item to a separate DependentTyes wikipage, leaving only a link and an abstract-like short description here
• 13:5613:56, 1 March 2006 diff hist +1,759‎ N Dependent type ‎ The details of the Dependent Types item of Haskell Furure page has been moved here
• 13:2813:28, 1 March 2006 diff hist +20‎ User:EndreyMark ‎ Creating a separate page for Dependent types, for being able to move Haskell Furure's dependent type details there
• 13:1513:15, 1 March 2006 diff hist +7,383‎ N Combinatory logic ‎ Monadic programming in Combinatory Logic: the idea described and the most important prerequisits too
• 08:1308:13, 1 March 2006 diff hist +53‎ User:EndreyMark ‎ First reference -- also: creating it -- a CombinatoryLogic page

28 February 2006

• 16:1516:15, 28 February 2006 diff hist +1‎ m Future of Haskell ‎ Plurality suffix added
• 16:1016:10, 28 February 2006 diff hist +172‎ Future of Haskell ‎ The concept of views provided by dependent types are not-forgetful: they ,,cannot lie''
• 15:0315:03, 28 February 2006 diff hist +248‎ m Future of Haskell ‎ Updating a broken link to the Views Proposal, adding a new link on views and mentioning its relatedness to dependent types. Adding an IMHO-phrase to the section on dependent types and Illative CL
• 14:3114:31, 28 February 2006 diff hist +439‎ Future of Haskell ‎ Using formulas to express correspondance between dependent types (of Epigram) and G combinator of Illative Combinatory Logic

27 February 2006

• 22:1222:12, 27 February 2006 diff hist +246‎ m Books ‎ Referring to introductory category logic materials in the foreword part of the ,,Categorical Programming'' section
• 21:3821:38, 27 February 2006 diff hist +621‎ Books ‎ ,,Categorical Programming'' section added after the ,,Separation of Concerns'' section: catamorphisms etc.
• 13:2113:21, 27 February 2006 diff hist +245‎ Applications and libraries ‎ Adding a portal-like rich material list on Exact Computation (Exact Real Arithmetic) to ,,Numerical algorithms and mathematics'' section
• 12:4312:43, 27 February 2006 diff hist +219‎ Applications and libraries ‎ Restructuring ,,Cognitive Science'' section by lifting ,,Genetic Programming'' and ,,Natural Language Processing'' to its subsection level
• 12:1312:13, 27 February 2006 diff hist +261‎ Applications and libraries ‎ Adding Peter Ljunglöf's portal-like rich publication list to ,,Cognitive Science'' section, NLP subsection
• 11:5611:56, 27 February 2006 diff hist +60‎ Applications and libraries ‎ Context of the previously added article
• 11:5111:51, 27 February 2006 diff hist +148‎ Applications and libraries ‎ Adding Gordon J. Pace' ,,Monadic Compositional Parsing with Contex Using Maltese as a Case Studyt'' to ,,Cognitive Science'' section, ,,Natural Language Processing'' subsection
• 08:4608:46, 27 February 2006 diff hist +2,028‎ Books ‎ Adding new section ,,Separation of Concerns'', concerning AOP, containing arrows, attribute grammars, catamorhisms

19 February 2006

• 10:3410:34, 19 February 2006 diff hist +62‎ N User:EndreyMark ‎ link to the HaWIki personal page

18 February 2006

• 12:4812:48, 18 February 2006 diff hist +535‎ Future of Haskell ‎ Connections between: (1) dependent types; (2) views; (3) combinator G of Illative Combinatory Logic

16 February 2006

• 14:3114:31, 16 February 2006 diff hist +387‎ Future of Haskell ‎ Adding item on languages relating to dependent types: (1) Epigram (a language, and a radical platform for experimenting), (2) John Huges's article on extending Haskell with dependent types

12 February 2006

• 00:2000:20, 12 February 2006 diff hist +294‎ Applications and libraries ‎ Tools, algorithms, frameworks concerning Cognitive Science == ,,Genetic Programming, AI, Natural Language Processing'' section renamed for ,,Cognitive Science'', + a new Genetic Algorithms item added

10 February 2006

• 16:0916:09, 10 February 2006 diff hist +1,083‎ Applications and libraries ‎ Linking articles on the aplications of Haskell or combinatory logic in linguistics
• 12:4212:42, 10 February 2006 diff hist +1,029‎ Applications and libraries ‎ Adding ,,Shuffle'' (being a Haskell literate programming tool) to the ,,Program Dvelopment'' section's ,,Typesetting Haskell in TeX'' subsection
• 10:2610:26, 10 February 2006 diff hist +826‎ Applications and libraries ‎ Adding an ,,Attribute Grammar'' item to the ,, Compiler and compilation tools'' section
• 00:2600:26, 10 February 2006 diff hist +741‎ Applications and libraries ‎ Adding a ,, Genetic Programming, Artificial Intelligence, Natural Language Processing'' section with two paragraphs

9 February 2006

• 22:4022:40, 9 February 2006 diff hist +19‎ m Applications and libraries ‎ GUI's section: wxFruit is _based_ on FRP and arrows and _implemented_ on top of wxHaskell
• 10:4110:41, 9 February 2006 diff hist +456‎ Applications and libraries ‎ Adding Fruit and wxFruit to the ,,Graphical User Interfaces'' section (mentioning as high-level GUI's)
• 10:0510:05, 9 February 2006 diff hist +12‎ m Applications and libraries ‎ In Web/HTM/XML section, the exact webpage adress of Steve Van Hoyweghen's thesis is updated
• 09:5209:52, 9 February 2006 diff hist −1‎ m Applications and libraries ‎ Because of a superfluous space between opening bracket and the URL, the ,,[http://www.fh-wedel.de/~si/HXmlToolbox/ Haskell XML Toolbox]'' wiki-notation appeared unchanged in the HTML-page