User contributions
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 10:53, 16 March 2006 (diff | hist) . . (+1) . . m Extensible record (typographic: is > its)
- 12:45, 9 March 2006 (diff | hist) . . (-34) . . m Combinatory logic (haskell inline code highlight)
- 10:33, 9 March 2006 (diff | hist) . . (+114) . . m Combinatory logic (layout improvements (syntax highlight made some smaller word order changes appropriate) and correcting some typographic or latex errors)
- 10:17, 9 March 2006 (diff | hist) . . (+397) . . m Combinatory logic (enabling syntax highlight for the Haskell code examples by paranthesing them by <haskell>...</haskell>)
- 21:42, 8 March 2006 (diff | hist) . . (-1) . . m Extensible record (Morrow interpreter seems to be unavailable for download)
- 21:31, 8 March 2006 (diff | hist) . . (+143) . . Extensible record (Add a link to the [http://www.cs.uu.nl/~daan/morrow/ Morrow] language, whith interpeter, having extensible records)
- 18:14, 8 March 2006 (diff | hist) . . (+585) . . Extensible record (more links)
- 17:06, 8 March 2006 (diff | hist) . . (+1,019) . . N Extensible record (Haskell' Wiki, TREX, other proposals)
- 15:52, 8 March 2006 (diff | hist) . . (+330) . . Future of Haskell (Adding a link to Mark Shields and Simon Peyton Jones: First-class Modules for Haskell. Others: beginning to create an Extensible record page with a short description of the topic)
- 11:55, 8 March 2006 (diff | hist) . . (+38) . . m Generalised algebraic datatype (Separating two linked words with an unlinked one, so that they do not look like one common link)
- 11:49, 8 March 2006 (diff | hist) . . (+1,694) . . N Generalised algebraic datatype (New page on genaralised abstract datatypes, referring to the original HaskellDB paper as a case study, Phantom types, relatedness to Dependent types. More general ,terms in other terms')
- 16:35, 7 March 2006 (diff | hist) . . (+1,460) . . Combinatory logic (Adding new links to introductory materials, two new illative combinatory logic links, and an ,,inner'' link to Haskell Wiki's Linguistics page)
- 12:38, 7 March 2006 (diff | hist) . . (-1) . . m Applications and libraries/Linguistics (Updating a link to an online CiteSeer book: choosing a better available mirror)
- 11:39, 7 March 2006 (diff | hist) . . (+38) . . Applications and libraries/Linguistics (Categorising under Category:Theoretical foundations)
- 11:30, 7 March 2006 (diff | hist) . . (-384) . . Applications and libraries (Moving some of the contents of ,,Natural language processing'' section to the new Linguistics page, leaving only the directly Haskell-related materials (e.g. dowloadable sources) here)
- 11:24, 7 March 2006 (diff | hist) . . (+4,270) . . N Applications and libraries/Linguistics (Moving some of the contents of Libraries and tools ,,Natural language processing'' section to here, leaving only the directly Haskell-related materials there)
- 08:10, 7 March 2006 (diff | hist) . . (+83) . . Applications and libraries (Creating new page Linguistics)
- 12:56, 6 March 2006 (diff | hist) . . (+58) . . Dependent type (Replacing the Smart constructors link with Type link. So the reference became more general, because Smart constructors can be reached from Type)
- 11:34, 6 March 2006 (diff | hist) . . (+243) . . m Dependent type (Specifying exactly which papers are meant as I referred to HaskelDB)
- 11:00, 6 March 2006 (diff | hist) . . (+163) . . Dependent type (Referring to HaskelDB, as a practical case study on the usefulness of such idioms (i.e. those related to simulating dependent types))
- 10:35, 6 March 2006 (diff | hist) . . (+61) . . Dependent type (Adding a new section ,,Simulating them [dependent types in Haskell]''. Links to wikipages: how to achieve static type checks instead of runtime assertions. Link to Smart constructors wikipage)
- 01:50, 6 March 2006 (diff | hist) . . (+208) . . Combinatory logic (Adding links to quine pages (e.g. that of Wikipedia) and mentioning book on meta-level architectures and reflection)
- 01:31, 6 March 2006 (diff | hist) . . (0) . . m Category:Theoretical foundations (Stressing, that the existence of self-replicating is not a trivial thing)
- 01:26, 6 March 2006 (diff | hist) . . (+940) . . N Category:Theoretical foundations (Subcategorizing the new category directly under the root category, and writing an introductory text: science vs technique)
- 23:34, 5 March 2006 (diff | hist) . . (+38) . . Combinatory logic (Categorizing this article under ,,Theoretical foundations'')
- 23:27, 5 March 2006 (diff | hist) . . (+38) . . Dependent type (Categorizing this article, creating a new category ,,Theoretical foundations'')
- 09:27, 5 March 2006 (diff | hist) . . (+3) . . m Books (Typographic corrections in sections ,,Separation of concerns'' and ,,Categorical programming'')
- 09:18, 5 March 2006 (diff | hist) . . (+436) . . Books (,,Separation of Concerns'' section ,,Attribute grammars'' subsection provides links to these related concepts: 1) catamorphism 2) circular programming)
- 17:34, 4 March 2006 (diff | hist) . . (+2,055) . . Combinatory logic (The idea of building a CL metacircular interpeter: implementing CL in itself. Problems in formulating algorithm for lazy evaluation in CL)
- 01:11, 4 March 2006 (diff | hist) . . (+410) . . Combinatory logic (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)
- 00:41, 4 March 2006 (diff | hist) . . (+8,315) . . Combinatory logic (The concept of ,,self replicating programs'' (quines) described, then generalized to pure combinatory logic and lambda-calculus. Background references. Concept of quotation / representation)
- 15:39, 3 March 2006 (diff | hist) . . (+1,374) . . Combinatory logic (Adding the new section ,,Base'', containing now some thoughts on other interpretations of base combinators K and S)
- 14:28, 3 March 2006 (diff | hist) . . (+37) . . m Combinatory logic (Some layout improvements with more appropriate horizontal spacings)
- 14:22, 3 March 2006 (diff | hist) . . (+539) . . m Combinatory logic (Typesetting all combinators with boldface uniformly, so that they can be distiguished easily from variables and (other) metasigns)
- 13:13, 3 March 2006 (diff | hist) . . (+10) . . m Combinatory logic (better layout for opreration ,,maybe->>='' by reducing space between hyphen and greater-than-sign)
- 11:03, 3 March 2006 (diff | hist) . . (+3,469) . . Combinatory logic (Maybe as a monad: implementing the monadic operations of Maybe in Combinatory logic)
- 21:47, 2 March 2006 (diff | hist) . . (0) . . m Combinatory logic (Word order misplacement corrected)
- 21:44, 2 March 2006 (diff | hist) . . (+48) . . m Combinatory logic (Stylistic clarifying: only one of the Maybe-constructors is common with an Either-constructor)
- 21:17, 2 March 2006 (diff | hist) . . (+896) . . Combinatory logic (Implementing Maybe in CL in continuation passing style)
- 20:48, 2 March 2006 (diff | hist) . . (+234) . . Combinatory logic (What reductions do we expect from a lambda-calculus-like implementation of lists?)
- 18:30, 2 March 2006 (diff | hist) . . (+3,201) . . User talk:EndreyMark (Answer -- Categorising and linking pages ,,Combinatory logic'' and ,,Dependent types'') (current)
- 17:56, 2 March 2006 (diff | hist) . . (+325) . . m User:EndreyMark (Refining)
- 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)
- 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 100 | older 100) (20 | 50 | 100 | 250 | 500)