User contributions
Jump to navigation
Jump to search
- 12:34, 16 April 2007 diff hist 0 m Attribute grammar typos
- 12:32, 16 April 2007 diff hist +462 Attribute grammar FNC-2 System
- 11:30, 29 March 2007 diff hist +75 Applications and libraries/Linguistics →Natural language processors (and generators): Eric Kow's recent publications on GenI
- 23:43, 25 March 2007 diff hist +263 Continuation →Applications: Oleg Kiselyov's ZipperFS
- 23:39, 25 March 2007 diff hist +46 m Zipper Add table-of-contents, remove self-referent link, add more inner links
- 23:35, 25 March 2007 diff hist +226 Zipper →Applications: ZipperFS
- 23:31, 25 March 2007 diff hist +21 m Applications and libraries/Operating system →Filesystems: Linkify Zipper and Continuation
- 02:46, 22 February 2007 diff hist -1 m Applications and libraries/Compilers and interpreters →QML, a functional quantum programming language: typos
- 02:44, 22 February 2007 diff hist +399 Applications and libraries/Compilers and interpreters →QML. a functional quantum programming language: QML: A Functional Quantum Programming Language] project. It is implemented in Haskell
- 22:12, 21 February 2007 diff hist +154 Zipper →Further reading: Haskell/Zippers on Wikibooks
- 22:08, 21 February 2007 diff hist +68 Arrow →Functional I/O, graphical user interfaces: FG, Phooey
- 22:05, 21 February 2007 diff hist +64 Arrow →Library: arrows package
- 21:57, 21 February 2007 diff hist +76 Arrow →External links: Haskell/Arrows]on Wikibooks
- 21:55, 21 February 2007 diff hist +19 m Arrow some Wikipedia conventions
- 15:34, 20 February 2007 diff hist -37 m WxHaskell remove accidental repetition of copy-paste
- 15:33, 20 February 2007 diff hist -28 m WxHaskell Merge in a single item the pdf and ppt versions of slides Koen Lindström Claessen: Graphical User Interfaces in Haskell
- 15:27, 20 February 2007 diff hist +27 m WxHaskell →External links: Correction of the title. Koen Lindström Claessen: Graphical User Interfaces in Haskell], slides (pdf)
- 15:23, 20 February 2007 diff hist +124 WxHaskell Koen Lindström Claessen: WxHaskell slides (pdf)
- 15:18, 20 February 2007 diff hist +325 WxHaskell →External links: Advanced Functional Programming / WxHaskell], a portal like page
- 15:10, 20 February 2007 diff hist +18 m WxHaskell →External links: file types: pdf, ppt...
- 15:08, 20 February 2007 diff hist +133 WxHaskell →External links: Koen Lindström Claessen: Graphical User Interfaces in Haskell
- 15:00, 20 February 2007 diff hist +99 WxHaskell Wei Tan: GUI Programming with wxHaskell
- 14:03, 20 February 2007 diff hist +154 WxHaskell →External link: Daan Leijen: wxHaskell / A Portable and Concise GUI Library for Haskell
- 00:54, 19 February 2007 diff hist -1 m Applications and libraries/GUI libraries The section link is no longer valid. Updated for WxHaskell
- 16:23, 13 December 2006 diff hist +2 Applications and libraries/Linguistics ToC hierarchy
- 16:22, 13 December 2006 diff hist -16 Applications and libraries/Linguistics Delete {{Main}} template
- 16:20, 13 December 2006 diff hist +306 Applications and libraries/Linguistics →Continuations in natural languages: paper
- 16:15, 13 December 2006 diff hist +116 Continuation →Linguisitcs: Continuations in Natural Language
- 12:40, 4 December 2006 diff hist -2 m Applications and libraries/Linguistics format
- 12:39, 4 December 2006 diff hist +333 Applications and libraries/Linguistics A Survey on the Use of Haskell in Natural-Language Processing (Report by Richard A. Frost)
- 16:18, 10 November 2006 diff hist -20 m Zipper Typo
- 16:17, 10 November 2006 diff hist +60 m Zipper →Further reading: Fix link
- 16:16, 10 November 2006 diff hist +203 Zipper →Furtherreading: Infinitesimal types. Derivative for types
- 08:39, 27 October 2006 diff hist +1 m Continuation →External links: typographic correction
- 08:37, 27 October 2006 diff hist +146 Continuation →External links: The appropriate section of Haskell: Functional Programming with Types (WikiBooks version)
- 08:14, 27 October 2006 diff hist +571 User talk:Ashley Y →Deletion of Continuation passing style
- 07:56, 27 October 2006 diff hist -32 Continuation passing style Creation of this page was an accident. Deleting this page
- 07:47, 27 October 2006 diff hist +32 N Continuation passing style →See also: Continuation
- 07:45, 27 October 2006 diff hist +268 Continuation Hal Daume III's Yet Another Haskell Tutorial has a section on continuation passing style. Because of its having been wikified, it can be referred to directly
- 09:30, 22 October 2006 diff hist +233 Recursive function theory →Recursive functions: ``Homogenous'' version of generalized composition
- 11:27, 11 October 2006 diff hist +314 Literate programming →Shuffle: A tool extending lhs2TeX's capabilities
- 12:10, 10 October 2006 diff hist +1 m Dependent type /Qi*/ Typographic correction
- 12:09, 10 October 2006 diff hist +506 Dependent type →Qi: and Blaise: Lisp-based languages with dependent types
- 23:46, 9 October 2006 diff hist +2 m Continuation Small formatting, + typographical correction
- 23:43, 9 October 2006 diff hist +224 Continuation Add link to Continuatons section of article ``Functional Programming For The Rest of Us'', an introductory material to functional programming.
- 15:30, 5 October 2006 diff hist +3 m Category theory/Natural transformation →Functor and natural transformation: “zero-or-one-or-many-occurrences” - parser of list of things
- 15:26, 5 October 2006 diff hist +34 m Category theory/Natural transformation Fix incorrect pairing of parantheses
- 12:14, 5 October 2006 diff hist +128 Category theory/Natural transformation →External links: Toposes, Triples and Theories written by Michael Barr and Charles Wells.
- 11:01, 5 October 2006 diff hist -1 m Category theory/Natural transformation Spell-check with ispell
- 14:17, 4 October 2006 diff hist 0 m Category theory/Natural transformation Fix broken section-link
- 14:13, 4 October 2006 diff hist +581 Category theory/Natural transformation →Natural transformation and functor: Haskell example (coinciding with maybeToList)
- 12:32, 4 October 2006 diff hist +282 Category theory/Natural transformation →Definition: comes as first section, preceding example. A small redundace joins the descriptions of mathematical and the programming parts
- 10:01, 4 October 2006 diff hist +164 Category theory/Natural transformation + →Mixed: Mentioning how mixed operations will be used in definition of “monad” in category theory. Rephrasings
- 09:48, 4 October 2006 diff hist +701 Category theory/Natural transformation →Operations: Complete formal definitions
- 09:35, 4 October 2006 diff hist +180 m Category theory/Natural transformation Typographic cirections, rephrasing, more links
- 09:29, 4 October 2006 diff hist +373 Category theory/Natural transformation →Natural transformation and functor: Type inference “dissolves” the main point, thus there is no “materialized” manifestation of it in a Haskell program
- 09:17, 4 October 2006 diff hist +96 m Category theory/Natural transformation Better table-of-contents hierarchy
- 09:12, 4 October 2006 diff hist -36 m Category theory/Natural transformation Deleting empty environments, make more didactical order, typographic cirrectipons
- 09:08, 4 October 2006 diff hist +2,076 Category theory/Natural transformation New sections:→Operations: , beginning with →Functor and natural transformation: : example: fmapping parser on optional data to parser on listed data
- 16:23, 3 October 2006 diff hist +38 Category theory/Natural transformation Categorizing under Category:Theoretical foundations
- 16:19, 3 October 2006 diff hist +80 Category:Theoretical foundations The cited material is now online, so I linked it
- 14:46, 3 October 2006 diff hist +29 m Category theory/Natural transformation Commutative diagram is in D category
- 14:37, 3 October 2006 diff hist +694 Category theory/Natural transformation →Commutative diagram: Definition of notion ``natural transformation''
- 13:18, 3 October 2006 diff hist -1 Category theory/Natural transformation Fix broken link
- 13:17, 3 October 2006 diff hist +150 m Category theory/Natural transformation →Remarks: Link to source code
- 13:11, 3 October 2006 diff hist +73 N File:Natural transformation.tex Source code for commutative diagram image defining natural transformation current
- 13:07, 3 October 2006 diff hist +90 N File:Natural transformation.png Commutative diagram used to illustrate the definition of notion ``natural transfomration'' current
- 13:03, 3 October 2006 diff hist +38 Category theory/Natural transformation →Commutative diagram: Link to image
- 21:47, 2 October 2006 diff hist +3 m Category theory/Natural transformation for lists: map (or fmap), for Maybe's: fmap
- 20:36, 2 October 2006 diff hist 0 m Category theory/Natural transformation →External links: typographic correction
- 20:36, 2 October 2006 diff hist +337 Category theory/Natural transformation →External links: HaWiki article not migrated yet
- 20:26, 2 October 2006 diff hist +261 Category theory/Natural transformation →Commutative diagram: Notations
- 20:12, 2 October 2006 diff hist -7 m Category theory/Natural transformation Vertical arrows: sides of objects: rephrase non-scientific expression
- 20:10, 2 October 2006 diff hist +2 m Category theory/Natural transformation Fix empty line tricks at tables
- 20:05, 2 October 2006 diff hist +3 m Category theory/Natural transformation →Commutativity of the diagram: Format caption (no more a caption)
- 20:02, 2 October 2006 diff hist +117 Category theory/Natural transformation →Commutativity of diagram: More typings
- 19:49, 2 October 2006 diff hist 0 m Category theory/Natural transformation Order should suggest the correspondence between Haskell example and mathmatical formalism
- 19:45, 2 October 2006 diff hist +34 m Category theory/Natural transformation <math> environment
- 19:41, 2 October 2006 diff hist +434 m Category theory/Natural transformation Rephrasings
- 19:21, 2 October 2006 diff hist +201 Category theory/Natural transformation In fact, even has a more general type (Integral a => a -> Bool) than described here
- 19:12, 2 October 2006 diff hist +26 m Category theory/Natural transformation Better section structure
- 19:11, 2 October 2006 diff hist +1,847 N Category theory/Natural transformation maybeToList as an example
- 14:09, 23 September 2006 diff hist +420 Applications and libraries/Compiler tools The Packrat Parsing and Parsing Expression Grammars Page
- 12:09, 4 September 2006 diff hist +21 m Libraries and tools/Linguistics/Applicative universal grammar →To do: Rephrasing: some words added current
- 12:08, 4 September 2006 diff hist +168 Libraries and tools/Linguistics/Applicative universal grammar →To do: Short-term plans
- 23:05, 3 September 2006 diff hist +556 Libraries and tools/Linguistics/Applicative universal grammar →Bibliography: subsections: →Directly related resources: Shaumyan's 1985 book →Formal semantics: Lappin's book + a handbook
- 19:41, 3 September 2006 diff hist +159 Lojban →Introduction: Links to notions: Valency, applicative voice current
- 15:41, 3 September 2006 diff hist +37 m Lojban →Meta vs object language: Rephrasing introductory text more clearly
- 15:36, 3 September 2006 diff hist +1 m Lojban →Meta vs object language: Typographic correction
- 15:32, 3 September 2006 diff hist +839 Lojban Less modularized solution for using structural description names
- 22:15, 2 September 2006 diff hist +8 m Lojban →Introduction: Format terms ``a priori'' and ``a posteriori'' as italic, so that to avoid connotation with undefined article
- 20:53, 2 September 2006 diff hist 0 m Lojban Typographic correction
- 20:51, 2 September 2006 diff hist +188 Lojban →Meta vs object language: Reference to Tarski's selected papers ``Proof and truth''
- 20:39, 2 September 2006 diff hist +36 m Lojban →Meta vs object language: Mentioning Traski's “structural descriptive name” notion
- 02:20, 23 August 2006 diff hist 0 m Applications and libraries/Operating system Updating link (my sentence-style capitalization had made this link broken, now updated)
- 02:17, 23 August 2006 diff hist +24 m Research papers/Program development →Operating systems: Rephrasing link (to achieve similar effesct as Wikipedia's {{main|....}} ``main article'' template)
- 02:10, 23 August 2006 diff hist +93 m Research papers/Program development Link back to Libraries and tools/Operating system
- 02:03, 23 August 2006 diff hist +99 Applications and libraries/Operating system Link to Research papers/Program development#Operating Systems
- 22:43, 22 August 2006 diff hist +12 m Darcs Better formatting
- 22:41, 22 August 2006 diff hist +8 m Darcs (1) Assymmetric (6-9-shaped) quotation marks (2) Typographic corrections
- 22:37, 22 August 2006 diff hist +299 Darcs Adding other Darcs-related talks, slides. Mentioning slides ``The Myth and Reality of using Haskell in the Real World'' separately because of its more general Haskell-related topic
- 14:35, 22 August 2006 diff hist +404 Darcs →External link: Mentioning David Roundy's slides ``Implementing the darcs patch formalism and verifying it'' (see also GADT#Projects containing GADTs article)
- 17:06, 20 August 2006 diff hist +70 m Applications and libraries/Genetic programming Better introductory text on the ant evolution case study
- 08:27, 20 August 2006 diff hist +327 Applications and libraries/Genetic programming Adding link to Måns Vestin: Genetic algorithms in Haskell with polytypic programming. Some words on it.
- 16:04, 19 August 2006 diff hist +100 m Lojban More general introductory text
- 15:57, 19 August 2006 diff hist +208 m Lojban →Meta vs object language: Introductory text + small formattings, rephrasings
- 13:28, 19 August 2006 diff hist +12 m Lojban →Meta vs object language: A better informal notation for ``quoatations'' in quines
- 13:25, 19 August 2006 diff hist +792 Lojban →Meta vs object language: Solving problem of ``quotation'' when writing a quine in combinatory logic
- 03:52, 19 August 2006 diff hist -5 m Lojban →Meta vs object language: More concise and clear rephrasing + some typographic corrections
- 03:48, 19 August 2006 diff hist +718 Lojban →Meta vs object language: Didactical relevance?
- 03:14, 19 August 2006 diff hist +296 Lojban →References: The Complete Lojban Language / The Lojban Reference Grammar
- 16:13, 17 August 2006 diff hist +4 m Turing machine →Search: State name misspelled
- 16:08, 17 August 2006 diff hist +2,872 Turing machine →Search: : Modularizing Monk's ``left seek 0'': let us not exlude the starting from the process of search
- 14:56, 17 August 2006 diff hist +216 m Recursive function theory Mentioning Kleene's s^m_n theorem in the context of currying
- 14:40, 17 August 2006 diff hist +1 m Turing machine Dummy edit: ``blank'' versus ``Letter *''
- 14:38, 17 August 2006 diff hist 0 m Turing machine blank vs Letter 1 instead of 0 vs 1 or blank vs letter 1
- 14:08, 17 August 2006 diff hist +4,693 Turing machine →Examples: for Turing machine descriptions (``program source code samples''): →Simple moves: and →Simple rewritings: , see Monk T_right, T_left, T_0, T_1
- 23:50, 10 August 2006 diff hist +130 m Combinatory logic Mentioning other solutions (which are just mentioned, because they are more complicated)
- 23:35, 10 August 2006 diff hist +918 Combinatory logic →Maybe2: Defining Maybe2 datatype (found in an old Hugs library) in CL
- 20:57, 8 August 2006 diff hist +1 m Lojban typographic correction
- 20:54, 8 August 2006 diff hist +553 Lojban zo'e, a place-keeper argument -- analogy with notion of zero in number decimal representation
- 13:52, 8 August 2006 diff hist +1 m Lojban The order of arguments in the predicate corrected
- 13:35, 8 August 2006 diff hist +4 m Lojban Using ``I, me'' instead of ``I'' in the vocabulary
- 13:34, 8 August 2006 diff hist +184 m Lojban Some comments, rephrasings + spell-check with ispell
- 11:38, 8 August 2006 diff hist +196 m Lojban Analogy between passive voice in Lojban expressed by ``se'' predicate modifiier to combinator C
- 22:05, 7 August 2006 diff hist +611 Lojban →Others: Haskell and Lojban -- link to a discussion (with articles) on motivations wgy people choose (``adopti') a (programming or other) language
- 21:38, 7 August 2006 diff hist +7 m Applications and libraries/Linguistics Fixing link
- 21:37, 7 August 2006 diff hist -10 m Applications and libraries/Linguistics Wikipedia atricle on Lojban can be reached from the newly created Lojban HaskellWiki page,, so the link is confusing here
- 21:27, 7 August 2006 diff hist +483 Lojban →Repeating: Even more combinators, modifying directly the predicate, not arbitrary subexpression of the sentence
- 20:44, 7 August 2006 diff hist +10 m Lojban Rephrasing a typographic corrections
- 20:39, 7 August 2006 diff hist +1,040 Lojban →Repeating: Useing combinator W_(2), the deferred version of elementary duplicator W
- 20:07, 7 August 2006 diff hist 0 m Lojban Two personal pronouns mixed
- 20:05, 7 August 2006 diff hist +41 m Lojban →References: Reformatting
- 20:03, 7 August 2006 diff hist +5,231 N Lojban Lojban analogies of C and W combinators of combinatry logic
- 19:38, 7 August 2006 diff hist +81 Applications and libraries/Linguistics →Natural language processing and combinatory logic: Small introductory text
- 17:40, 7 August 2006 diff hist -20 m Applications and libraries/Linguistics →Other linguistics-related resources: Initiating separate page for Lojban
- 17:36, 7 August 2006 diff hist +570 Combinatory logic →Applications: Mentioning artificial language ``Lojban'' and its possible relatedness to combinatory logic
- 00:10, 7 August 2006 diff hist +428 Chaitin's construction →Eliminating any concept of code by handling [[combinatory logic]] terms directly: Heuristical steps
- 22:53, 5 August 2006 diff hist +6 m Chaitin's construction Chaitin's constructION
- 22:51, 5 August 2006 diff hist +191 Chaitin's construction →Table for small legths: illustrating the normal number property of Chaitin's construct
- 21:50, 5 August 2006 diff hist +310 Chaitin's construction →More natural norm functions (from CL terms): But Chaitin's constant is a normal number (as if its digits were generated by tossing a coin), and I want to preserve this
- 21:09, 5 August 2006 diff hist +47 Chaitin's construction →Table for small legths: Extending binary approximation of Omega to fit the code length
- 21:01, 5 August 2006 diff hist +123 Chaitin's construction →Table for simpler CL-terms: New column added: Omega approximated till now: mantissa binary (decimal)
- 20:22, 5 August 2006 diff hist -65 m Chaitin's construction →Table for simpler CL-terms: The table is easier to understand with this order of columns
- 20:16, 5 August 2006 diff hist 0 m Chaitin's construction →Table for simpler CL-terms: Headline renaming (earlier: ``Table for smaller CL-terms'')
- 20:14, 5 August 2006 diff hist +51 m Chaitin's construction →Table for smaller CL-terms: Short introductory text
- 20:10, 5 August 2006 diff hist +908 Chaitin's construction →Table for smaller CL-terms: with values for helping conjecture on a norm of CL-terms to constuct a ``probability of termination'' __among terms__, not strings
- 19:13, 5 August 2006 diff hist +661 Chaitin's construction →Table for small legths: exemplifying Chaitin's contruct for small cases
- 18:35, 5 August 2006 diff hist +262 m Computer science Adding link to Algorithmic information theory with small text explaining motivation
- 18:16, 5 August 2006 diff hist -2 Mathematics Double bulllets for list
- 18:15, 5 August 2006 diff hist +125 m Mathematics Link to Algorithmic information theory, with short text
- 17:58, 5 August 2006 diff hist -1 m Algorithmic information theory small rephrasing
- 17:57, 5 August 2006 diff hist +178 Algorithmic information theory (1): A link back to Chaitin's construction, (2): some introductory text annoting Chaitin's writings
- 17:52, 5 August 2006 diff hist +47 m Algorithmic information theory Adding (yet invisible) table of contents, and categorizing as Category:Theoretical foundations
- 17:50, 5 August 2006 diff hist +265 N Algorithmic information theory Wikipedia links and Chaitin's homepage
- 17:20, 5 August 2006 diff hist +44 m Chaitin's construction →Introduction: Initiating new page Algorithmic information theory
- 15:19, 5 August 2006 diff hist -15 m Chaitin's construction →More natural norm functions (from CL terms): Doing the same for another occurrence of the same mistake
- 15:17, 5 August 2006 diff hist -14 m Chaitin's construction Sign of ``identical as terms'' is inapprorate at defining a funtion (norm). Also a misstyping is corrected
- 15:10, 5 August 2006 diff hist +336 Chaitin's construction (1): Writing new subsection →Architecture: for section →Implementation: , (2): inserting new headline →User interface: before the bash examples
- 14:59, 5 August 2006 diff hist +4 m Chaitin's construction ``norm function OF ...'' is disambigous here, using ``FROM '' instead
- 14:57, 5 August 2006 diff hist +200 m Chaitin's construction →To do: points to →Implementation: and newly moved →More natural norm functions (from CL terms
- 14:45, 5 August 2006 diff hist +509 Chaitin's construction →To do: Explaining analogy between Mandelbrot softwares making conjectures on convergence and this program making conjecture on termination
- 13:39, 5 August 2006 diff hist +113 m Chaitin's construction →To do: Extending usage examples, and better option name
- 14:43, 4 August 2006 diff hist +33 Chaitin's construction →Implementation: Better section hierarchy
- 14:40, 4 August 2006 diff hist +241 Chaitin's construction Also this page refers to combinatory logic term modules. That was why I made a separate page for it (two references are enough for that)
- 14:34, 4 August 2006 diff hist +47 m Chaitin's construction/Combinatory logic table of contents and categorising under Category:Theoretical foundations current
- 14:33, 4 August 2006 diff hist +642 N Chaitin's construction/Combinatory logic Lifting section hierarchy
- 14:31, 4 August 2006 diff hist -555 Chaitin's construction/Parser Moving combinatory logic term modules to a separate pege current
- 14:21, 4 August 2006 diff hist +52 m Chaitin's construction Grammatical and typographic corrections
- 14:13, 4 August 2006 diff hist +322 Chaitin's construction →3 Eliminating any concept of code by handling combinatory logic terms direct: Clarifying the aim of this chapter
- 14:00, 4 August 2006 diff hist +2,154 Chaitin's construction Defining concept which do not use the notion of ``code''
- 13:11, 4 August 2006 diff hist +1,691 Chaitin's construction/Parser Moving text and modifying section hierarchy. Mentioning term generators
- 12:47, 4 August 2006 diff hist -1,004 Chaitin's construction Also other details go to the separate Chaitin's construction/Parser page
- 12:44, 4 August 2006 diff hist +2,699 N Chaitin's construction/Parser Receiving contents from the mentioned page, and adjusting its section hierarchy
- 12:41, 4 August 2006 diff hist -2,522 Chaitin's construction Not so important details come to a new Chaitin's construction/Parser page. Parsers are not necessary here, a good generator is enough
- 22:57, 3 August 2006 diff hist +17 m Chaitin's construction →Decoding: Changing term ``arrow parsers'' into a link to Arrow#Parser
- 22:43, 3 August 2006 diff hist +26 Chaitin's construction ``neverfailing'' is a better name for the combinator on parsers, which makes ``decode'' function total
- 22:26, 3 August 2006 diff hist +309 Chaitin's construction →Decoding: Referring to paper Monadic Parser Combinators, credit to Graham Hutton and Erik Meier
- 22:07, 3 August 2006 diff hist +4 m Chaitin's construction binding after parser |item|
- 22:02, 3 August 2006 diff hist +5 m Chaitin's construction rephrasing
- 21:59, 3 August 2006 diff hist +17 m Chaitin's construction LL(1) grammar, not LL(0)
- 21:51, 3 August 2006 diff hist +263 Chaitin's construction →Decoding: More clear distinction between LL(k) parser and LL(k) grammar
- 21:29, 3 August 2006 diff hist +24 m Chaitin's construction typographic corrections, rephrasings
- 21:10, 3 August 2006 diff hist +680 Chaitin's construction Rephrasings, annotations, and code examples for partial function approach and total function approach
- 17:29, 3 August 2006 diff hist 0 m Chaitin's construction Reaneming >>^ to >>@ (in the sense of liftM2 apply), because arrows use also symbol >>^ in another sense (p >>^ f = p >>> arr f)
- 17:11, 3 August 2006 diff hist +46 m Chaitin's construction Small rephrasing of headlines
- 17:06, 3 August 2006 diff hist +26 m Chaitin's construction Small corrections
- 17:02, 3 August 2006 diff hist +127 m Chaitin's construction Fixing import/export lists of modules
- 16:48, 3 August 2006 diff hist +1,825 Chaitin's construction Defining decode function in Haskell
- 14:01, 3 August 2006 diff hist +4 m Chaitin's construction Putting verb in a sentence which consisted only of a huge noun phrase
- 13:53, 3 August 2006 diff hist +3 m Chaitin's construction Spell-check with ispell
- 13:46, 3 August 2006 diff hist -13 m Chaitin's construction No indenting for bash code
- 13:39, 3 August 2006 diff hist +45 Combinatory logic →Applications: Referring to Chaitin's construction, which can show why combinatory logic can be important in other areas of mathematics
- 13:32, 3 August 2006 diff hist +154 Chaitin's construction →Basing it on combinatory logic: Formula, that range of coding function equals to domain of decoding function
- 13:19, 3 August 2006 diff hist +419 Chaitin's construction →To do: Writing software for making conjectures in this topic
- 11:45, 3 August 2006 diff hist +189 m Chaitin's construction →Introduction: Writing an introductory text -- asking the motivating question of the topic
- 11:39, 3 August 2006 diff hist +50 m Chaitin's construction The set of syntactiaclly correct bitstring codings of combinatory logic is exactly both the domain of decoding and range of coding function
- 11:28, 3 August 2006 diff hist 0 m Chaitin's construction I had confused e.g. (exempla gratia) with i.e. (idem esse). Now I have corrected it
- 11:23, 3 August 2006 diff hist +8 m Chaitin's construction Some rephrasing
- 11:13, 3 August 2006 diff hist +2,454 N Chaitin's construction Having moved here from Exact real arithmetic. Making sections (→Introduction: , →Basing it on combinatory logic: ). Adding new sec →Related concepts: , linking back to Exact real arithmetic
- 11:06, 3 August 2006 diff hist -2,199 Exact real arithmetic →Why, are there reals at all, which are defined exactly, but are not computable?: Moving descrition on Chaitin's construction onto its newly created separete page
- 10:55, 3 August 2006 diff hist +7 m Exact real arithmetic ``Chaitin's construction'' misspelled
- 10:51, 3 August 2006 diff hist +3 m Exact real arithmetic Better aligning of mathematical formulae and typographic correction
- 10:47, 3 August 2006 diff hist +692 Exact real arithmetic Decoding function can be made a total function: with Maybe
- 10:17, 3 August 2006 diff hist +1,623 Exact real arithmetic →Why, are there reals at all, which are defined exactly, but are not computable?: Writing on Chaitin's construct and John Tromp's combinatory logic-related article
- 08:28, 31 July 2006 diff hist +273 Applications and libraries/Theorem provers Adding Ivor also to here
- 08:25, 31 July 2006 diff hist +284 Dependent type →Library: Adding Ivor theorem prover, and other related materials found on Edwin Brady's homepage
- 11:52, 27 July 2006 diff hist +2 m Generalised algebraic datatype Typographic corrections and fixing links
- 11:47, 27 July 2006 diff hist +16 m Template:Main/News Date: ICFP Programming Contest 2006 ended in 24 July
- 11:43, 27 July 2006 diff hist -49 m Template:Main/Events ... from Events
- 11:43, 27 July 2006 diff hist +171 Template:Main/News ICFP Prgramming Contest is over, it comes to News...
- 11:34, 27 July 2006 diff hist +176 m ICFP Programming Contest The contest is over, so uptdating the text accordingly
- 09:18, 25 July 2006 diff hist +1 m Generalised algebraic datatype typographic correction
- 09:17, 25 July 2006 diff hist +43 m Generalised algebraic datatype More exact phrases
- 09:13, 25 July 2006 diff hist +629 Generalised algebraic datatype →Projects containing GADTs: (1): David Roundy's talk describing how GADTs were useful for implementing Darcs. (2): HaskellDB's motiv.exampl
- 08:54, 20 July 2006 diff hist +59 ICFP Programming Contest Some contest materials are already available for download
- 20:29, 19 July 2006 diff hist +31 m Libraries and tools/Linguistics/Applicative universal grammar →General resources: Resolving the ambiguity of a sentence
- 20:22, 19 July 2006 diff hist -8 m Libraries and tools/Linguistics/Applicative universal grammar Spell-check
- 20:11, 19 July 2006 diff hist 0 m Libraries and tools/Linguistics/Applicative universal grammar Typographic corrections
- 20:09, 19 July 2006 diff hist +1,753 Libraries and tools/Linguistics/Applicative universal grammar (1): Splitting section `Introduction' to →Introduction: and →General resources: . (2): Writing introductory text. (3): Reference to Combinatory logic
- 19:15, 19 July 2006 diff hist +1 m Combinatory logic Partial spell-check with `spell'
- 18:55, 19 July 2006 diff hist +453 Combinatory logic →Applications: CL's linguistical applications, especially applicative universal grammar
- 14:52, 19 July 2006 diff hist 0 m ICFP Programming Contest Using term ``noon'' instead of ``a.m.'' in giving the duration of the contest
- 14:34, 19 July 2006 diff hist +173 ICFP Programming Contest Adding a link to an online clock showing Eastern Daylight Time.
- 23:08, 18 July 2006 diff hist +530 Applications and libraries/Linguistics →Other linguistics-related resources: →Reference: More precise information on Lojban, a linguistical tool developed to study and understand language
- 22:24, 18 July 2006 diff hist +261 Applications and libraries/Linguistics →Other linguistics-related resources: Adding some not-directly-Haskell-related lingiustics resources -- a personal liguisitic page + an artificial language page
- 13:16, 18 July 2006 diff hist +94 Libraries and tools/Linguistics/Applicative universal grammar →Implementing these idea: Giving another location for link to Mark P. Jones, Paul Hudak and Sebastian Shaumyan:``Using Types to Parse Natural Language'', because the first link may be sometimes busy
- 01:22, 18 July 2006 diff hist +440 Libraries and tools/Linguistics/Applicative universal grammar →Details: Link to ``Linguistic Types and the Valence of Operators in Applicative Universal Grammar'' written by Bernard Paul Sypniewski
- 00:48, 18 July 2006 diff hist +189 Libraries and tools/Linguistics/Applicative universal grammar →Fragments: More mailing list excerpts discussing the notion of ``meaning'' in AUG
- 00:10, 18 July 2006 diff hist +287 Libraries and tools/Linguistics/Applicative universal grammar →Fragments: Links to citings, responses to comments, and other such fragmented materials by Sebastian Shaumyan
- 23:43, 17 July 2006 diff hist +63 Libraries and tools/Linguistics/Applicative universal grammar (1) Splitting to sections: →Introduction: , →Details: , →Implementing these ideas: . (2) Making content less dens (lifting list to standalone paragraphs)
- 23:36, 17 July 2006 diff hist +1 Applications and libraries/Linguistics ...meta: child page Applicative universal grammar knows its parent page Linguistics
- 23:32, 17 July 2006 diff hist +75 N Applicative universal grammar Applicative universal grammar moved to Libraries and tools/Linguistics/Applicative universal grammar: Applicative universal grammar child page knows its parent page [[Libraries and tools/Li
- 23:32, 17 July 2006 diff hist 0 m Libraries and tools/Linguistics/Applicative universal grammar Applicative universal grammar moved to Libraries and tools/Linguistics/Applicative universal grammar
- 23:28, 17 July 2006 diff hist +47 Libraries and tools/Linguistics/Applicative universal grammar Meta: Adding table-of-contents and categorising under Category:Theoretical foundations...
- 23:25, 17 July 2006 diff hist +1,452 N Libraries and tools/Linguistics/Applicative universal grammar Having moved the mentioned section (Libraries and tools/Linguistics#Applicative universal grammar) here, thus creating this page
- 23:21, 17 July 2006 diff hist -1,378 Applications and libraries/Linguistics →Applicative universal grammar: This section gets its own HaskellWiki page: Applicative universal grammar. Because It is too dense, and I want to add more resources to it
- 12:18, 16 July 2006 diff hist +278 Applications and libraries/Linguistics →Applicative universal grammar: Link to paper comparing combinatory categorial grammar to applicative universal grammar
- 11:48, 15 July 2006 diff hist +57 Applications and libraries/Linguistics The link to Bernard Paul Sypniewski's article ``An Introduction to Applicative Universal Grammar'' is no more broken, so I removed the warning text. Also adding link to the athor's linguistics page.
- 15:45, 14 July 2006 diff hist 0 m ICFP Programming Contest Spell-check with ispell (but leaving ``archaeo-'', maybe it is intentional)
- 15:39, 14 July 2006 diff hist +93 ICFP Programming Contest Announcement (mentioning ``archeolinguisitcs'') can be read also on Haskell Maling List haskell@haskell.org
- 15:20, 14 July 2006 diff hist +32 m ICFP Programming Contest Dates
- 15:15, 14 July 2006 diff hist +40 m ICFP Programming Contest Writing ``Ninth annual'' instead of ``2006'', so that ToC number do not mix with year number
- 15:12, 14 July 2006 diff hist +345 N ICFP Programming Contest Link to its official homepage, and link to an anouncement which gives some information of the topic of the contest (``computational archeolinguistics'')
- 15:00, 14 July 2006 diff hist +49 Template:Main/Events ICFP Programming Contest, 2006
- 12:50, 22 June 2006 diff hist +48 Prelude extensions Add link to point-free programming wikipage
- 11:22, 22 June 2006 diff hist +14 Applications and libraries/Data structures →References: making occurrence of word ``point-free'' into a link to Pointfree wikipage
- 11:11, 22 June 2006 diff hist +699 Pointfree →References: ``Pointless Haskell'' library for point-free programming
- 10:12, 22 June 2006 diff hist +9 m Prelude extensions Adding table of contents
- 10:09, 22 June 2006 diff hist +194 Arrow →Function: A link back to Prelude extensions#Tuples, because of `first' and its related operations
- 10:01, 22 June 2006 diff hist 0 m Example code Updating link to Prelude extensions, so that redirection page do not appear
- 10:00, 22 June 2006 diff hist +32 N Prelude Extensions Prelude Extensions moved to Prelude extensions: HaskellWiki:Guidelines#Page titles suggests sentence-style capitalization. I shall provide a link to this page (Prelude extensions) from Arrow.
- 10:00, 22 June 2006 diff hist 0 m Prelude extensions Prelude Extensions moved to Prelude extensions
- 09:52, 22 June 2006 diff hist +633 Prelude extensions →Tuples: Standard library implementations for mapFst, mapSnd, mapPair: see Data.Graph.Inductive.Query.Monad or Control.Arrow
- 06:49, 20 June 2006 diff hist +8 m Arrow Formatting word occurrences ``monad'' as monad: a link
- 13:20, 19 June 2006 diff hist 0 m Combinatory logic →Illative combinatory logic: Converting headline to sentence-style capitalization (to meet HaskellWiki:Guidelines#Headlines)
- 13:26, 17 June 2006 diff hist +2 m Combinatory logic Using Wikipedia's both-shape quotation marks: “-begun ”-ended, instead of the homogenous "-same-as-"
- 13:20, 17 June 2006 diff hist +445 Combinatory logic →General: Describing pointfree taste of CL, mentioning Recursive function theory's lack-of-variables
- 13:07, 17 June 2006 diff hist +57 Applications and libraries/Database interfaces →Related concepts: new section added. It mentions Relational algebra. Also table of contents added
- 11:27, 17 June 2006 diff hist +241 Type arithmetic New sections →Theory: (linking to Dependent type) and →Practice: (linking to Extensible record and relational algebra)
- 11:11, 17 June 2006 diff hist +103 Dependent type →Simulating them: links to Type arithmetic
- 11:06, 17 June 2006 diff hist +98 m Extensible record →Related concepts: links to Type arithmetic
- 11:01, 17 June 2006 diff hist +40 m Relational algebra →Just a thought: extensible record and more generally, type arithmetic
- 10:59, 17 June 2006 diff hist +24 m Relational algebra →Just a thought: Mentioning also extensible record as a related concept
- 10:54, 17 June 2006 diff hist +179 m Relational algebra →Practice: more unambigous introductory text
- 10:44, 17 June 2006 diff hist +88 Relational algebra →Just a thought: `Query' regarded as an arrow?
- 10:35, 17 June 2006 diff hist +25 m Applications and libraries/Database interfaces/CoddFish →Related concepts: refers to Relational algebra
- 10:33, 17 June 2006 diff hist +25 m Applications and libraries/Database interfaces/HaskellDB →Related concepts: rerfers to Relational algebra
- 10:29, 17 June 2006 diff hist +295 Relational algebra →Practice: links to HaskellDB and CoddFish, as Libraries and tools/Database interfaces
- 10:19, 17 June 2006 diff hist +2,182 Relational algebra →Just a thought: : an early, immature thought of mine to represent relational algebra expressions
- 09:22, 17 June 2006 diff hist +552 Pointfree →Other areas: links to Combinatory logic and also Recursive function theory. Mention Oliveira's paper related to Relational algebra
- 09:14, 17 June 2006 diff hist +59 Relational algebra Adding reference to pointfree (in shorly describing Oliveira's mentioned paper)
- 08:58, 17 June 2006 diff hist +357 N Relational algebra Link to paper: José Nuno Oliveira: First Steps in Pointfree Functional Dependency Theory. mainly it was that forced me to create page for relational algebra
- 08:43, 17 June 2006 diff hist +154 Extensible record →Declarative database management: and →Related concepts: : inititating new (theoretical) page Relational agebra
- 22:17, 16 June 2006 diff hist +4 m Extensible record Making an ambiguous sentence clear by more explicit separation
- 22:14, 16 June 2006 diff hist +322 Extensible record →Related concepts: new section added, this refers to Dependent type, and a link to ``Why Dependent Types Matter''
- 21:26, 16 June 2006 diff hist -1 m Applications and libraries/Database interfaces/CoddFish spell-check with ispell
- 21:18, 16 June 2006 diff hist +3 m Extensible record spell-check with ispell
- 21:12, 16 June 2006 diff hist 0 m Extensible record typographic correction
- 21:09, 16 June 2006 diff hist 0 m Extensible record →HaskellDB: The link to HaskellDB#Future was broken. Now having fixed
- 21:01, 16 June 2006 diff hist +86 Lucid →Fast-food: Using terms ``syncronous'' vs ``asynchronous''
- 20:58, 16 June 2006 diff hist +1 m Arrow typographic correction
- 20:57, 16 June 2006 diff hist +279 Arrow →Introduction: Adding link to ``Programming with Arrows'' paper written by John Hughes, and describing it shortly
- 19:47, 16 June 2006 diff hist +669 Extensible record →CoddFish: new section added (referring to CoddFish), and as a consequence, restructuring section strucure, adding table of contents
- 19:17, 16 June 2006 diff hist +49 Applications and libraries/Database interfaces/CoddFish →Related concepts: section added: it refers to Extensible record
- 19:13, 16 June 2006 diff hist +8 m Applications and libraries/Database interfaces/HaskellDB Also other occurrences of the same term
- 19:11, 16 June 2006 diff hist +9 m Applications and libraries/Database interfaces/HaskellDB Renaming headline ``Appendix'' to →Related concepts: , because I prefer functional names to structural ones
- 15:44, 16 June 2006 diff hist +157 Applications and libraries/Database interfaces/CoddFish →Introduction: Credit to the authors: Alexandra Silva and Joost Visser
- 15:36, 16 June 2006 diff hist +161 Applications and libraries/Database interfaces/HaskellDB →Future: Referring to CoddFish (because also it uses HLIst, too)
- 15:30, 16 June 2006 diff hist +49 Applications and libraries/Database interfaces/CoddFish Referring to HaskellDB
- 15:25, 16 June 2006 diff hist +456 N Applications and libraries/Database interfaces/CoddFish →Introduction: Introductory notes: a pure, type safe declarative DBMS library, not yet persistent by connecting to real life databases
- 15:22, 16 June 2006 diff hist +150 Applications and libraries/Database interfaces →Haskell Database Libraries: Adding link to CoddFIsh, thus initiating a CoddFish HaskellWiki page
- 14:56, 16 June 2006 diff hist +208 Attribute grammar →Tools: Adding link to Attribute Grammar Support for Happy (also from the Communities and Activities Report)
- 11:24, 16 June 2006 diff hist +7 m Lucid →Fast-food: small rephrasings at the explanatory texts of the ``moving average'' example
- 10:59, 16 June 2006 diff hist +125 Applications and libraries/Linguistics →Other functional or Haskell-related approaches to linguistics: Hal Daume III's natural lang. processing blog. Found ref on ``Topics and Contacts for the Haskell Communities and Activities Report''
- 18:06, 14 June 2006 diff hist +1 m Arrow typographic correction and formatting list
- 18:00, 14 June 2006 diff hist +295 Arrow →Introduction: and →Stream processor: Generalising Monads to Arrows written by John Hughes. Both a good introductory material, and details on stream processors and fudgets
- 13:20, 14 June 2006 diff hist +410 Arrow →Parser: The symmetric figure in Wikibooks' Programming:Haskell_arrows article suggests abstracting away side effect order
- 12:44, 14 June 2006 diff hist +1 m Arrow →Parser: formatting link
- 12:41, 14 June 2006 diff hist 0 m Arrow →Parser: Not an announcement (of an official release), just a short reference
- 11:02, 14 June 2006 diff hist +69 Arrow →Parser: Mor precise citing on the source of the new arrow parse implementation
- 10:59, 14 June 2006 diff hist +285 Arrow →Parser: Another arrow parser implementation written by Antti-Juhani Kaijanaho
- 10:29, 14 June 2006 diff hist +492 Arrow →Introduction: Wikibooks article, conveyor belt metaphor for arrows
- 23:27, 13 June 2006 diff hist 0 m Arrow Making all indices zero-based, so that duality of &&& (fanout, broadcast) and ||| (fanin) can bee seen more explicitly
- 23:19, 13 June 2006 diff hist -3 m Arrow →Parser: Grammatical correction at the explanatory text describing sequencing order of computations (side effects)
- 23:08, 13 June 2006 diff hist +127 m Arrow Streesing that binary relations are a _counterexample_ for sequencing effects
- 23:01, 13 June 2006 diff hist +143 Arrow Adding defintion of ||| (fan-in) for binary relations, also as a counterexample for taht it can be important in which order the effects take place, seqencing them
- 22:51, 13 June 2006 diff hist +589 Arrow Add definition of &&& (broadcast, fan-out) for binary relations, as a counterexample for importance of side-effect order
- 20:29, 13 June 2006 diff hist +7 m Arrow spell-check with ispell
- 01:15, 13 June 2006 diff hist +76 Research papers/Monads and arrows →Monads: and →Arrows: : mentioning the own HaskellWiki pags of these concepts: Monad, and also Arrow
- 01:03, 13 June 2006 diff hist +102 Arrow Magnus Carlsson's name and homepage
- 01:00, 13 June 2006 diff hist +421 Arrow →Introduction: and →Stream processor: both refer to Magnus Carlsson's ProdArrows site, becus it is both a good general material and a description of stream processors' specialities
- 00:49, 13 June 2006 diff hist +6 Research papers/Monads and arrows →Applications of arrows: Fix broken link for Magnus Carlsson's ProdArrows -- Arrows for Fudgets
- 21:27, 12 June 2006 diff hist +32 m Arrow →Parser: Some rephrasing
- 21:21, 12 June 2006 diff hist -3,002 Help talk:Contents Reverting to Ptolomy's 20:36, 9 June 2006 version, thus undoing [User:Fda|Fda]'s 20:51, 12 June 2006 contribution: many-many similar links with no explanatory texts current
- 19:10, 12 June 2006 diff hist +671 Arrow →Parser: Example quoted from Ross Paterson's A New Notation for Arrows
- 15:26, 12 June 2006 diff hist +132 m Arrow ``between'' example: expaining text rephrased
- 15:22, 12 June 2006 diff hist +144 Arrow →Parser: Another example for non-commutativeness of &&& is the ``between'' parser combinator
- 15:16, 12 June 2006 diff hist +23 m Arrow →Parser: adding more precise reference to the ``sepBy1'' example
- 15:09, 12 June 2006 diff hist +67 m Arrow →Parsers: Giving precise reference where the PArrows examplesare citated from (module name, full hierarchical name)
- 15:02, 12 June 2006 diff hist +241 Arrow →Parser: Another example (sepBy1) to illustrate, that &&& is not (necessarily) commutative
- 14:36, 12 June 2006 diff hist +1,030 Arrow →Parser: PArrows example for how state (here: stream) is threaded through the operands of &&& operation
- 10:39, 12 June 2006 diff hist +250 Arrow →Practice: when it is worth of using arrows instead of monads -- link
- 10:20, 12 June 2006 diff hist +112 m Lucid →Fast-food: MIssing line of the table: the 3rd snapshot was missing in the ``moving average'' example
- 02:57, 12 June 2006 diff hist +391 Arrow →Parser: Explaining term ``differential'', when writing on arrow parsers
- 22:16, 11 June 2006 diff hist +11 Base package Adding Arrow
- 22:10, 11 June 2006 diff hist +410 Arrow →Parser: Using term ``differential'' to express a subjective impression on arrow parsers
- 21:50, 11 June 2006 diff hist +173 Lucid →Fast food: Comment on the generality of Lucid, because the ``moving average'' example is somewhat too special
- 21:45, 11 June 2006 diff hist +24 m Lucid →Fast-food: Rephrase comments on syntax of Lucid code example, using term ``didactic intermediate syntax''
- 21:41, 11 June 2006 diff hist +118 m Lucid (1) →Fast-food: Values in the ``Snapshot'' and ``Input'' cells were incidenttally the same, which was confusing. Altering the input values. (2) Comments on syntax used in the Lucid code example
- 21:30, 11 June 2006 diff hist -24 m Lucid Values in the ``Snapshot'' and ``Input'' cells were incidenttally the same, which was confusing. Altering the input values.
- 21:25, 11 June 2006 diff hist +91 m Lucid →Fast-food: Formatting the header line of the table
- 21:15, 11 June 2006 diff hist +625 Lucid A table explaining the concept of ``running average'' by an example
- 20:57, 11 June 2006 diff hist +66 m Lucid grammatic correction (German word order corrected) and some words on the Lucid code example
- 20:50, 11 June 2006 diff hist +7 m Arrow Better characterization of the ``Lazy K'' pure lazy functional programming language
- 19:50, 11 June 2006 diff hist +418 Category theory →Foundations: : two links how category theory concepts are present in Haskell programming
- 18:32, 11 June 2006 diff hist 0 m Lucid typographic crrection
- 18:32, 11 June 2006 diff hist +305 Lucid →Implementation: : gets new subsections →Fast-food: , →Arrow: , →Comonad: , and add a link to a comonad page
- 18:13, 11 June 2006 diff hist +15 m Arrow →Functional I/O, graphical user interfaces: : (1) typographic correction (2) repetition of the same word is avoided by rephrasing the sentence
- 18:10, 11 June 2006 diff hist +193 Arrow →Functional I/O, graphical user interfaces: Adding link to Magnus Carlsson's remark on how Fudgets relate to arrows
- 17:59, 11 June 2006 diff hist +365 Arrow →Automaton: Referring to Wikipedia articles (Finite state machine) and (Automata theory)
- 17:44, 11 June 2006 diff hist +659 Arrow (1) →Library: : a) the standard library Control.Arrow b) and also an extension, too. (2) →Examples: introductory text
- 17:21, 11 June 2006 diff hist +799 Arrow Better structure and more links
- 16:20, 11 June 2006 diff hist +28 Attribute grammar Categorize also under Category:Compiler tools (because the Attribute Grammar Compiler tool of the Essential Haskell Compiler project)
- 16:17, 11 June 2006 diff hist +21 Separation of concerns Categorizing under Category:Idioms
- 16:13, 11 June 2006 diff hist +85 m Arrow Using {{Standard class ...}} template for arrows
- 16:09, 11 June 2006 diff hist +446 N Separation of concerns →Introduction: The most important links to Haskell-related papers in this topic, →Related concepts: links to monad and arrow and attribute grammar
- 15:50, 11 June 2006 diff hist +143 Arrow →Introduction: links copied from Books and tutorials/Using Arrows
- 15:47, 11 June 2006 diff hist +19 m Books →Using Arrows: ArrowsIntroduction is a Monad.Reader article, not a HaWiki contribution
- 15:38, 11 June 2006 diff hist +42 m Books →Using Monads: gives a link to Monad HaskellWiki page
- 15:34, 11 June 2006 diff hist +137 Books →Using Arrows: Add one more HaWiki article on arrows, and refer to the separate Arrow HaskellWiki page
- 15:28, 11 June 2006 diff hist +8 m Attribute grammar Initiating new page Separation of concerns
- 15:23, 11 June 2006 diff hist +3 m Lucid grammar correction
- 15:22, 11 June 2006 diff hist +394 Lucid →Implementation: A Lucid example (moving average) which is tested by the fast-food implementation
- 14:53, 11 June 2006 diff hist 0 m Lucid typographic corrections
- 14:45, 11 June 2006 diff hist +253 Lucid Link to a dataflow programming paper based on the concept of comonads
- 14:27, 11 June 2006 diff hist +5 m Lucid (1) typographic corrections (2) formatting word arrow as link to Arrow page
- 14:25, 11 June 2006 diff hist +1,219 Lucid →Introduction: and /Details*/: good introductory materials, and a detailed language description on this dataflow programming language
- 13:46, 11 June 2006 diff hist +522 N Lucid Having moved Lucid material from Arrow
- 13:45, 11 June 2006 diff hist -197 Arrow →Dataflow languages: writing an introdctory text with referring to Ross Patersons' Arrow and Computations, and moving Lucid material to a separate page
- 13:35, 11 June 2006 diff hist +77 N File:Test.lhs Testing Lucid prograaming language implementation by straightforward examples current
- 13:33, 11 June 2006 diff hist +68 N File:Lucid.lhs Mimick dataflow programming in a way as approached in Lucid language current
- 13:32, 11 June 2006 diff hist +1,288 N Arrow →Introducton: and →Examples: : most important introductory materials and examples: arrow parser, mimicking dataflow programming
- 12:40, 11 June 2006 diff hist +518 Attribute grammar →Separation of concerns: connections between monads, arrows and attribute grammars
- 12:27, 11 June 2006 diff hist +828 Attribute grammar Having moved description of Swiestra's ``Why Attribute Grammars Matter'' article from Circular programming to here
- 12:24, 11 June 2006 diff hist -719 Circular programming Moving description of Swiestra's ``Why Attribute Grammars Matter'' article to Attribute grammar
- 20:15, 7 June 2006 diff hist +1 m Mathematics one typogrphic correction left out
- 20:14, 7 June 2006 diff hist +26 m Mathematics Type-check with ispell, somewhat better phrases, a little more detail in an example
- 11:35, 7 June 2006 diff hist +5 m Attribute grammar /*Related concepts/* More precise location of a link
- 11:28, 7 June 2006 diff hist +4 m Mathematics Formatting word (a title) better
- 11:24, 7 June 2006 diff hist +201 Mathematics →General: Adding link to Wikipedia's Mathematics article, and some words about it
- 10:52, 7 June 2006 diff hist +63 m Mathematics Forgotten link to online book
- 10:44, 7 June 2006 diff hist +574 Mathematics →General: G.J. Chaitin: ``The Unknowable''. Copying link from Combinatory logic#Self-replication, quines, reflective programming
- 10:37, 7 June 2006 diff hist +38 Mathematics Categorizing under Category:Theoretical foundations
- 10:35, 7 June 2006 diff hist +384 N Mathematics →General: Paul Taylor: Practical Foundations of Mathematics. →Topics: : reference to various branches of mathematics
- 10:29, 7 June 2006 diff hist +63 m Books →Foundations: referring to newborn page Mathematics
- 10:22, 7 June 2006 diff hist +4 m Combinatory logic Initiating new page Mathematics. Mainly it is Paul Taylor's ``Practical Foundations of Mathematics'' book (found in Books and tutorials# Foundations that forced me to create this new page.
- 10:16, 7 June 2006 diff hist +9 m Category theory Table of contents
- 10:14, 7 June 2006 diff hist +20 m Attribute grammar Formatting word ``catamorphism'' as a link to Category theory
- 10:11, 7 June 2006 diff hist +360 Category theory →Foundations: Copying reference of Toposes, Triples and Theories from Books and tutorials#Foundations here
- 10:08, 7 June 2006 diff hist +19 m Books It seems that category pages cannot linked indirectly because of their special meaning. Linking Special:Categories instead.
- 10:02, 7 June 2006 diff hist +118 m Books →Foundations: referring to Category:Theoretical foundations category.
- 09:49, 7 June 2006 diff hist +1,464 N Category theory Including Books and tutorials#Categorical programming into here.
- 09:43, 7 June 2006 diff hist -1,320 Books Moving contents of →Categorical programming: to a newborn page Category theory#Categorical programming
- 15:46, 5 June 2006 diff hist +1 m Circular programming typographic correction
- 15:40, 5 June 2006 diff hist +66 m Attribute grammar →Related concepts: a new section, linking back to Circular programming
- 15:35, 5 June 2006 diff hist +9 m Attribute grammar Table of contents
- 15:32, 5 June 2006 diff hist +4 m Combinatory logic Other links updated
- 15:30, 5 June 2006 diff hist +4 m Combinatory logic Update a link because of the newly crated page Attribute grammar
- 15:24, 5 June 2006 diff hist +252 Circular programming Structuring contents: (1) adding table-of-contents (2) splitting the material to more sections
- 15:04, 5 June 2006 diff hist +12,966 Circular programming →Porting from HaWiki's CircularProgramming: but only my writings are ported, because I do not know the copyright status of the other contributions
- 14:02, 5 June 2006 diff hist -1 m Attribute grammar typographic correction
- 14:01, 5 June 2006 diff hist +1,147 N Attribute grammar Including contents from Books and tutorials#Attribute grammars, with straightforward modifications (some links are updates)
- 13:56, 5 June 2006 diff hist -738 Books →Attribute grammars: : moving its content to the Attribute grammar page
- 13:36, 5 June 2006 diff hist +175 N Circular programming (1) Link to HaWiki's CircularProgramming (2) Initiating Attribute grammar page
- 13:31, 5 June 2006 diff hist -27 m Turing machine Initiating a Circular programming page
- 02:01, 30 May 2006 diff hist +17 m Turing machine In →Tagging structure: section: format the word CPS as a link to the Continuation page
- 14:42, 25 May 2006 diff hist -1 m Help talk:Contents Remove dummy edit
- 14:41, 25 May 2006 diff hist +1 m Help talk:Contents ``Thus undoing Aff's 12:52, 25 May 2006 version'' -- I mean. I mistyped the date.
- 14:34, 25 May 2006 diff hist -65,329 Help talk:Contents Revert to Don Stewart's 02:16, 25 May 2006 version, thus undoing Aff's 02:16, 25 May 2006 version: many-many invisible links looking like if they were generated systematically
- 14:26, 25 May 2006 diff hist +329 Continuation →Continuation monad: : links to HaWiki pages + a Python generator example
- 09:33, 25 May 2006 diff hist +437 Continuation →Functional metaphors: Adding HaWiki's short description, which can be important at managing cases, alternatives
- 01:31, 25 May 2006 diff hist +3 m Continuation Typographic corrections: (1) spell-check with ispell; (2) using <hask> instead of <code> at all _Haskell_ examples, even if no visual difference can be seen. Scheme examples remain between <code>'s
- 20:40, 24 May 2006 diff hist +239 Continuation →Citing haskellized Scheme examples from Wikipedia: fixing a mistyped link (I mixed up Wikipedia's two articles on CPS) and more exact description about the modifications in the quoted text
- 20:06, 24 May 2006 diff hist +18 m Continuation Small formattings in the recently added section →More general examples
- 19:33, 24 May 2006 diff hist +19 m Continuation Usng hand-made term ``non-continuation argument''
- 19:28, 24 May 2006 diff hist +1,048 Continuation Showing examples, where the type of the argument of the discussed function and type of the argument of the continuation do not coincide: CPS-ized length
- 18:32, 24 May 2006 diff hist +102 N File:Continuation.hs WikiPedia's ``Continuation'' article, ``Examples'' section. The Scheme examples translated to Haskell. current
- 18:29, 24 May 2006 diff hist +125 Continuation Making the Haskell example downloadable: Continuation.hs
- 18:10, 24 May 2006 diff hist +2,384 Continuation →Citing haskellized Scheme examples from Wikipedia: Quoting Wikipedia's Continuation#Examples, but Scheme examples are translated to Haskell, and some straightforward modifications are made
- 14:52, 24 May 2006 diff hist +414 Continuation (1) →Imperative metaphors: split off from →Functional metaphors: (2) Adding Daume III's ``what to do next'' metaphor.
- 14:25, 24 May 2006 diff hist +11 m Continuation /*Powerful metaphors, images* other better localization of links: linking directly the cited sections
- 14:20, 24 May 2006 diff hist +10 m Continuation Link directly to the referred-to section in David Madore's call/cc homepage
- 14:18, 24 May 2006 diff hist +450 Continuation →Powerful metaphors, images: Adding David Madore's ``dynamic goto'', ``label for goto'' metaphor
- 13:57, 24 May 2006 diff hist +514 Continuation →Powerful metaphors, images: : concise descriptions or illustratiing metaphoras, a collection of citing quotations
- 13:31, 24 May 2006 diff hist +95 Continuation Wikipedia has both ``Continuation'' and ``Continuation-passing style'' pages
- 13:11, 24 May 2006 diff hist +1,191 N Continuation (1) Links to →General or introductory materials: on the concept itself. (2) Links describing the →Continuation monad
- 12:25, 24 May 2006 diff hist +4 Combinatory logic In section →Base: , creating new page Continuation by making a world to a link
- 14:15, 23 May 2006 diff hist +468 Turing machine Links to American Mathematical Society pages, see →Links: and also →Implementations
- 12:21, 23 May 2006 diff hist +825 Turing machine Writing an →Introduction: section. Splitting off a section →Links: . Others: the previous change (Maybe2 expalnation) took part in section →A construct called Maybe2
- 11:50, 23 May 2006 diff hist +458 Turing machine Programming guidelines#Types recommends avoiding Maybe2 x y construct, suggests Maybe (x, y) instead. Turing definition language uses Maybe2, so I explain my motivations to do so.
- 11:02, 23 May 2006 diff hist +7,924 Haskell in education Revert to Don Stewart's 04:10, 25 February 2006 version: restoring the unexplainedly deleted part of this page. I suppose this deletion may have been an accident: deletion's border was inside a word.
- 10:48, 23 May 2006 diff hist +45 Applications and libraries/Editors Link to the recently created Yi wikipage
- 11:00, 22 May 2006 diff hist -6 m Combinatory logic The mentioned link can be found in section →General: . Some minor edits.
- 10:47, 22 May 2006 diff hist +442 Combinatory logic Link to the site ``To dissect a Mockingbird'' -- a graphical notation for combinatory logic. An online, free material. Also some related links.
- 10:10, 17 May 2006 diff hist +707 Turing machine Expressing syntax highlighting information in pure black&white ASCII text: capitalization rules. See →Example: and →Arity (represented with font)
- 00:25, 17 May 2006 diff hist +77 m Turing machine Finer distinction between: (1) Maybe(Just,Maybe)-inspired special state and symbol (2) Maybe2(Just2,Nothing2)-inspired halting solution. See →Arity (represented with font)
- 00:02, 17 May 2006 diff hist +1 m Turing machine Human spell-check after ispell: ``chasing'' --> ``choosing''
- 23:56, 16 May 2006 diff hist -1,621 m Turing machine Spell check with ispell + some typos in Haskell examples
- 23:37, 16 May 2006 diff hist +58 Turing machine In →Language: , a trick with type synonyms and Maybe is accompanied with a better naming convention. Refining accordingly section →Discernable non-emptyness: special state, special symbol
- 23:21, 16 May 2006 diff hist +1,447 Turing machine In →Example: extending syntax highlighting: arity (of commands and state/symbol/action constructors) is represented by font type. →Arity (represented with font)
- 10:04, 12 May 2006 diff hist +23 m Dependent type More precise location of a link to Future#Extensions of Haskell in section →Eptigram
- 09:49, 12 May 2006 diff hist +191 Applications and libraries/Linguistics →Other functional or Haskell-related approaches to linguistics: : A link back to Dependent type#Type theory
- 09:38, 12 May 2006 diff hist 0 m Dependent type sentence-style capitalization of headlines
- 09:36, 12 May 2006 diff hist +524 Dependent type In section →Type theory: An approach to the concept of dependent type and Curry-Howard isomorphism: dicussed in the context of linguistics!
- 20:19, 11 May 2006 diff hist +266 Applications and libraries/Linguistics Adding another link from Aarne Ranta's homepage: among others, online course slides
- 19:58, 7 May 2006 diff hist -2 m Talk:Recursive function theory typographic correction current
- 21:06, 6 May 2006 diff hist +168 m Recursive function theory typographic corrections, formatting, some more words at not-clear sentences
- 17:14, 6 May 2006 diff hist +59 m Recursive function theory Making reference to fixed point theorem a link (to the appropriate section of David Madore's Selfrep/Quine page)
- 17:02, 6 May 2006 diff hist +1,195 Recursive function theory New section →Notations: , with also some remarks on type safety relating to partial functions
- 16:34, 6 May 2006 diff hist +268 Recursive function theory Lack of variables gives a feeling resembling to pointfree style
- 16:10, 6 May 2006 diff hist +844 Talk:Recursive function theory Self-containedness and motivations
- 15:32, 6 May 2006 diff hist +1,078 Recursive function theory Rewriting a section and renaming it to →Motivations: . It discusses the (mainly only indirect) relatedness of this page to Haskell.
- 07:56, 5 May 2006 diff hist +398 Generalised algebraic datatype Copying a link from Research papers/Type systems#Generalised Algebraic Data Types to here in section →Papers: (a paper on translating GADT's to system F)
- 19:20, 2 May 2006 diff hist +21 m Existential type →Generalised algebraic datatype: : More exact citing the example from the Generalised algebraic datatype#Motivation example page
- 18:58, 2 May 2006 diff hist +292 Existential type Adding a new section →Trac: which contains links to Trac pages on existential types
- 18:42, 2 May 2006 diff hist +1 m Keywords Update link to Smart constructors, following redirection
- 18:39, 2 May 2006 diff hist +1 m Type Update link to Smart constructors, following redirection
- 18:37, 2 May 2006 diff hist +16 m Existential type Update link to Smart constructors, following redirection
- 18:32, 2 May 2006 diff hist +32 N Smart constructor Smart constructor moved to Smart constructors: revert my previous (singularizing) move on this page.It seems to be a collective noun, with many specific ideas, it may be more an item list than a topical list. Sorry for my mistake.
- 18:32, 2 May 2006 diff hist 0 m Smart constructors Smart constructor moved to Smart constructors
- 17:49, 2 May 2006 diff hist +1 m Existential type typographic correction
- 16:11, 2 May 2006 diff hist +545 Existential type Existential types in Essential Haskell. Comparisons to Haskell.
- 11:46, 2 May 2006 diff hist -1 m Keywords Updating link to Smart constructor, following its redirection
- 11:43, 2 May 2006 diff hist -1 m Type Updating link to Smart constructor, following its redirection
- 11:42, 2 May 2006 diff hist 0 m Smart constructors Smart constructors moved to Smart constructor
- 11:39, 2 May 2006 diff hist +649 Existential type Examples from the Generalised algebraic datatype page and from the Essential Haskell Compiler Project
- 10:58, 2 May 2006 diff hist +45 Generalised algebraic datatype Adding link to Existential type at the example where this concept is mentioned
- 10:52, 2 May 2006 diff hist +21 m Existential type Syntax highlighting for Haskell examples
- 09:27, 2 May 2006 diff hist 0 m Generalised algebraic datatype :@ constructor symbol -- infix also in data declaration
- 08:49, 2 May 2006 diff hist +389 Generalised algebraic datatype Adding more links to papers on GADTs
- 08:03, 2 May 2006 diff hist +220 Generalised algebraic datatype (1) Adding a link to a (meanwhile revised) paper (2) typo (unpaired </haskell>)
- 12:18, 1 May 2006 diff hist +392 Turing machine Citing original source of the idea of →Tagging structure: and its relatedness to Haskell and functional programming
- 11:56, 1 May 2006 diff hist +1,099 Turing machine Explaning the motivation, why a →Tagging structure: has been incorporated in the Turing machine definition language
- 01:03, 1 May 2006 diff hist +111 Turing machine Giving Wikipedia links explaining what a tally (or unary) notation is
- 00:46, 1 May 2006 diff hist +2,657 Turing machine →Algebraic background of syntax highlighting: writing on the tagging structure of the keywords of Turung machine definition languge -- this classfication rules the highlighting princples
- 19:03, 30 April 2006 diff hist +66 m Turing machine Moving directions are also special symbols, so they get syntax highlighting (brown), too in the Turing machine defintion language →Verbose syntax
- 18:50, 30 April 2006 diff hist +6 m Turing machine Better grammatic structure for expressing what is regarded fixed when talking on the limitedness of thehead
- 18:41, 30 April 2006 diff hist +337 Turing machine Using term ,,Turing machine definition language'' for what we generally mean when talking on the language of Turing simulator softwares
- 18:22, 30 April 2006 diff hist +96 m Turing machine Using the experimented syntax highlight also in inline text, not only in code blocks: see →Discernable non-emptyness: special state, special symbol
- 18:16, 30 April 2006 diff hist +2 m Turing machine Representing the stress in a sentence by typesetting the stressed word with italics
- 18:05, 30 April 2006 diff hist +48 Turing machine Syntax highlight: 0-ary keywords (the special action, state, letter) are typeset boldface in Turing machine description language, →Verbose syntax
- 17:53, 30 April 2006 diff hist +806 Turing machine Re-coloring: states are green and actions are red, these complementary colors yield a nice view
- 17:20, 30 April 2006 diff hist +174 m Turing machine Re-coloring syntax highlight for →Verbose syntax: of Turing machine description language
- 16:37, 30 April 2006 diff hist +1,388 Turing machine Syntax highlight for the →Verbose syntax: of a Turing machine description language
- 14:39, 30 April 2006 diff hist -1 m Turing machine typographic convention
- 14:37, 30 April 2006 diff hist +954 Turing machine More details on different →Variants: of the conceptual framework of Turing machines: moving conventions -- tape or head moves, idle moves
- 13:20, 30 April 2006 diff hist +860 Recursive function theory Adding link to Dr Matt Fairtlough's lecture notes, as they contain theoretical texts, implementations written in Haskell, and further useful links. Using also his term ,,initial functions''
- 09:37, 30 April 2006 diff hist +56 m Recursive function theory Typographic corrections and clearer choice of words
- 09:30, 30 April 2006 diff hist +1,297 Recursive function theory →Constant: : Arguing for another choice of base functions
- 01:35, 30 April 2006 diff hist +8 m Recursive function theory typographic correction
- 01:31, 30 April 2006 diff hist +171 Recursive function theory →Partial recursive functions: : Operations on partial functions are total
- 00:16, 30 April 2006 diff hist -27 m Recursive function theory Partial revert: Removing a superfluous, ,,hypercorrect'' (in fact, incorrect) ,,correction''
- 00:11, 30 April 2006 diff hist +228 m Recursive function theory →Partial recursive functions: : mistype corrections in the formulas, better wording, more precise question
- 08:03, 26 April 2006 diff hist -5 Extensible record Updating link to ,,Port HaskellDB to HList'' ticket, according to its new location on Trac
- 08:00, 26 April 2006 diff hist -5 m Applications and libraries/Database interfaces/HaskellDB Updating link to ,,Port HaskellDB to HList'' ticket, according to its new location on Trac
- 11:42, 25 April 2006 diff hist -39 Applications and libraries/Database interfaces/HaskellDB Mentioning project Port HaskellDB to HList comes under headline →Future
- 00:16, 25 April 2006 diff hist +391 Applications and libraries/Database interfaces/HaskellDB Adding the same text on HLIst to here, too
- 00:02, 25 April 2006 diff hist +391 Extensible record Adding link to HList, mentioning its relatedness to database prgramming, and also Port HaskellDB to HList project
- 23:33, 24 April 2006 diff hist +74 m Summer of Code/Project suggestions Typo: misstyped link
- 23:28, 24 April 2006 diff hist +95 Summer of Code/Project suggestions Making most important keywords into links in →Port HaskellDB to HList
- 03:09, 24 April 2006 diff hist 0 Recursive function theory Small typographic correction
- 03:06, 24 April 2006 diff hist +619 Recursive function theory Formulating and explaining the definition of ,,special'' property'
- 19:46, 23 April 2006 diff hist +494 Recursive function theory Connection between two separate things: (1) defining zero(x)=0 in terms of the ,,pure'' 0 approach (2) allowing 0-arity cases in composition
- 19:16, 23 April 2006 diff hist -87 Recursive function theory Reverting ,,zero-arity case excluded'' -- zero arity cases can be fruitful
- 18:28, 23 April 2006 diff hist +87 Recursive function theory A zero arity case excluded -- arity of the result is undefinable
- 17:40, 23 April 2006 diff hist +25 m Recursive function theory Typos and typesettings (italics)
- 17:17, 23 April 2006 diff hist -29 m Recursive function theory Headline hierarchy is simpified -- a ,,singleton'' level eliminated
- 17:11, 23 April 2006 diff hist +71 Recursive function theory Categorizing under Category:Theoretical foundations. And some minor rephrasings.
- 17:05, 23 April 2006 diff hist +5,758 N Recursive function theory New notations introduced, and simplifications made (zero-arity generalizations are presupposed). Plans for incarnating recursion theory concepts as a programming laguage. Ref: Monk: Mathematical Logic