User contributions
Jump to navigation
Jump to search
- 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