User contributions
Jump to navigation
Jump to search
- 23:54, 1 March 2006 diff hist +20 m Dependent type Combinatory Logic as piped link
- 23:51, 1 March 2006 diff hist +18 m Combinatory logic Dependent Types as piped link
- 20:10, 1 March 2006 diff hist +1,028 Combinatory logic Implementing direct sum in CL in a continuation passing style way
- 18:14, 1 March 2006 diff hist 0 m Combinatory logic Link from CombinatoryLogic back to DependentTypes (so the circular linking is established)
- 18: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: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:47, 1 March 2006 diff hist +49 m Combinatory logic Curry's deferred combinators are denoted by indexing AND parantheses
- 17:23, 1 March 2006 diff hist +1 m Combinatory logic Missing space character inserted
- 17:19, 1 March 2006 diff hist +441 Dependent type Links on Curry-Howard isomorphism added to ,,Concept'' section / ,,TypeTheory'' subsection
- 16:48, 1 March 2006 diff hist 0 m Dependent type ,,Illative'' misstype corrected
- 16:46, 1 March 2006 diff hist +271 Dependent type Refining the structure: adding subsections ,,General'' to ,,Concept'', ,,Other Techniques'' to ,,Languages''
- 16:23, 1 March 2006 diff hist -6 m Dependent type Using level 1 headlines for top-level structuring, according to HaskellWiki:Guidelines
- 16:12, 1 March 2006 diff hist +1 m Future of Haskell possessive suffix
- 16:03, 1 March 2006 diff hist +836 m Combinatory logic Link to a combinatory logic interpreter (Hungarian-language-documented, Haskell-implemented)
- 15:27, 1 March 2006 diff hist +3 m Dependent type Link to Combinatory Logic wiki page
- 15:25, 1 March 2006 diff hist +1,576 Combinatory logic ->Illative Combinatory Logic section with some dreams and a tutorial added
- 14:52, 1 March 2006 diff hist 0 m Books nicer layout of the previously corrected link
- 14:47, 1 March 2006 diff hist +123 m Books Correcting broken link to Jeroen Fokker's Functional Programming
- 14:30, 1 March 2006 diff hist +11 m Dependent type table of contents
- 14:28, 1 March 2006 diff hist +29 Dependent type
- 14: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: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: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: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: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:13, 1 March 2006 diff hist +53 User:EndreyMark First reference -- also: creating it -- a CombinatoryLogic page
- 16:15, 28 February 2006 diff hist +1 m Future of Haskell Plurality suffix added
- 16: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: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: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
- 22: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:38, 27 February 2006 diff hist +621 Books ,,Categorical Programming'' section added after the ,,Separation of Concerns'' section: catamorphisms etc.
- 13: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: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: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:56, 27 February 2006 diff hist +60 Applications and libraries Context of the previously added article
- 11: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:46, 27 February 2006 diff hist +2,028 Books Adding new section ,,Separation of Concerns'', concerning AOP, containing arrows, attribute grammars, catamorhisms
- 10:34, 19 February 2006 diff hist +62 N User:EndreyMark link to the HaWIki personal page
- 12:48, 18 February 2006 diff hist +535 Future of Haskell Connections between: (1) dependent types; (2) views; (3) combinator G of Illative Combinatory Logic
- 14: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
- 00: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
- 16:09, 10 February 2006 diff hist +1,083 Applications and libraries Linking articles on the aplications of Haskell or combinatory logic in linguistics
- 12: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:26, 10 February 2006 diff hist +826 Applications and libraries Adding an ,,Attribute Grammar'' item to the ,, Compiler and compilation tools'' section
- 00:26, 10 February 2006 diff hist +741 Applications and libraries Adding a ,, Genetic Programming, Artificial Intelligence, Natural Language Processing'' section with two paragraphs
- 22: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: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: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: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