User contributions
Jump to navigation
Jump to search
- 17:23, 2 March 2006 diff hist +5,164 User:EndreyMark Reply to Don Stewart's letter on categorising and linking pages ,,Combinatory logic'' and ,,Dependent types''
- 16:58, 2 March 2006 diff hist +2 m Applications and libraries Correcting misstyped name of Applicative Universal Grammars in Section ,,Cognitive Science''/,,Natural Language Processing''
- 14:48, 2 March 2006 diff hist +22 m Applications and libraries How to convert sourse code found in ,,Mark P. Jones', Paul Hudak's and Sebastian Shaumyan's Using Types to Parse Natural Language'' from Gofer to GHC
- 14:30, 2 March 2006 diff hist +2 m User:EndreyMark Updating links to redirected pages
- 00:31, 2 March 2006 diff hist +1 m Future of Haskell Another link to redirected page updated
- 00:27, 2 March 2006 diff hist +1 m Future of Haskell Updating link to ,,Dependent types'' wiki page according to its redirection
- 00:06, 2 March 2006 diff hist -17 m Combinatory logic Using same label as target for wiki links
- 00:05, 2 March 2006 diff hist -19 m Dependent type Using same label as target for wiki links
- 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