User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)