User contributions
Jump to navigation
Jump to search
- 21:48, 19 July 2007 diff hist -14 m Zipper "plugging" means something different (it returns a (simple) tree, not a tree with focus), thus not mentioning it here
- 21:35, 19 July 2007 diff hist +14 m Zipper "plug" is used in the literature for filling the hole in
- 09:39, 19 July 2007 diff hist +36 m Zipper Agreement of number: both be plural, or both be singular
- 09:26, 19 July 2007 diff hist +24 m Zipper resolve another ambiguity, borders of scopes better expressed
- 09:21, 19 July 2007 diff hist +8 m Zipper resolve ambiguity
- 09:17, 19 July 2007 diff hist +16 m Zipper 66-99-style quotation marks (“”), instead of ASCII-style "s
- 09:02, 19 July 2007 diff hist +139 Zipper "Mounting" a tree into a context: representation of tree with marked subtree (focus)
- 08:58, 19 July 2007 diff hist +12 m Zipper syntax of image inserting
- 08:56, 19 July 2007 diff hist +102 N File:Mount-op12cl-34.png Subtree (1 2) "mounted" into context (@ (3 4)). Made by own hands with GIMP and LaTeX's qtree package. current
- 08:55, 19 July 2007 diff hist +99 N File:Circum-op12cl-34.png Tree ((1 2) (3 4)) with left subtree marked. Made by own hands with GIMP and LaTeX's qtree package. current
- 08:49, 19 July 2007 diff hist +58 Zipper Image: "mounting" subtree into context
- 08:08, 19 July 2007 diff hist +147 Zipper Mentionong, that solutions for binary trees, arbitrary-branches-trees can be regarded as special cases of a more general soution
- 16:39, 17 July 2007 diff hist +139 m Zipper →Automation: Add a similar paper
- 13:58, 17 July 2007 diff hist +167 Zipper →Comonads and monads: Another comonadic zipper article: Evaluating cellular automata is comonadic, part of Sigfpe's A Neighborhood of Infinity
- 13:53, 17 July 2007 diff hist +617 Zipper →Comonads and monads: related external links (Tarmo Uustalu's papers and an article from A Neighborhood of Infinity)
- 12:38, 17 July 2007 diff hist +3 m Zipper better intro for a sentence
- 12:36, 17 July 2007 diff hist +23 m Zipper Using term "focus"
- 11:04, 17 July 2007 diff hist +92 Continuation →External links: Continuations.html Continuations and delimited control
- 11:01, 17 July 2007 diff hist +13 m Zipper →Further reading: Scope of quotation
- 10:59, 17 July 2007 diff hist +225 Continuation →See also: extended to →Delimited continuation
- 10:53, 17 July 2007 diff hist +1 m Zipper →Further reading: typo
- 10:52, 17 July 2007 diff hist -1 m Zipper →Further reading: typo
- 10:51, 17 July 2007 diff hist +216 Zipper →Futher reading: , about the zippers and delimited continuations
- 10:38, 17 July 2007 diff hist +88 Continuation →See also: Delimited continuation, Zipper
- 10:33, 17 July 2007 diff hist +19 m Zipper →Application: There is a HaskellWiki article on delimited continuations, providing a link there
- 11:56, 16 July 2007 diff hist +94 m Help:Editing (1) Small stylistical correction (2) small conclusion/summary part
- 19:04, 15 July 2007 diff hist +2 m Help:Editing Long hyphen as symbol — and not as --
- 17:13, 15 July 2007 diff hist +16 m Help:Editing clarify
- 17:11, 15 July 2007 diff hist +59 m Help:Editing clarify
- 17:07, 15 July 2007 diff hist -6 m Help:Editing grammatical corrections
- 17:06, 15 July 2007 diff hist +849 Help:Editing Correcting my previous statement: Matrix environments CAN be embedded in a hierarchical way
- 16:18, 15 July 2007 diff hist +142 m Sandbox Embedded matrix
- 16:15, 15 July 2007 diff hist +79 Sandbox Matrix example
- 16:09, 15 July 2007 diff hist -1 m Help:Editing Line break
- 16:08, 15 July 2007 diff hist +4 m Help:Editing →Under/overbrace: Break lines in cells of table
- 16:03, 15 July 2007 diff hist +6 m Help:Editing typo
- 16:01, 15 July 2007 diff hist -58 Help:Editing →Under/overbrace: More simple examples
- 15:55, 15 July 2007 diff hist +872 Help:Editing Multiple-embedded underbrace
- 15:08, 15 July 2007 diff hist 0 m Zipper More precise alignment to the centre
- 15:04, 15 July 2007 diff hist +138 Zipper Old syntax for double-embedded underbraces
- 14:43, 15 July 2007 diff hist +549 Help:Editing →Some new math symbols: upper corner quotation marks (used for stressing object language expressions)
- 14:24, 15 July 2007 diff hist +482 Help:Editing Initiate →Differences from Wikipedia: , describing →Under/overbrace
- 14:11, 15 July 2007 diff hist +196 m Zipper Empty list's role
- 14:06, 15 July 2007 diff hist +173 m Zipper underbraced list
- 12:56, 15 July 2007 diff hist +133 N File:Path-1X-34.png A path-like, more deconstructed representation of the context of a tree zipper. Made by own hands with GIMP and LaTeX's qtree package current
- 12:54, 15 July 2007 diff hist +68 Zipper Image for the more deconstructed context representation
- 12:22, 15 July 2007 diff hist +270 m Zipper Small clarify, mention also a naive implementation
- 12:02, 15 July 2007 diff hist +1 m Zipper typo
- 11:44, 15 July 2007 diff hist +42 Zipper Provide definition for auxiliary datatype Direction (at binary trees, equivalent to Bool)
- 11:41, 15 July 2007 diff hist +227 Zipper 1) deconstruction for the zipper datatype 2)Instead of double-embeddedd parantheses, making a "Remarks:" list
- 10:33, 15 July 2007 diff hist -8,184 Talk:Haskell Restore version 19:19, 19 February 2007 Isaac Dupree. The previous two commitments were 1) unexplained removal of page content 2) many-many commercial/advertisement-like links. It may be a spam bot
- 14:11, 11 July 2007 diff hist 0 Zipper A colon is appropriate here: the image table serves as an illustration
- 14:05, 11 July 2007 diff hist +59 N File:Top.png Image of top context Made by own hands, with LaTeX and GIMP current
- 14:04, 11 July 2007 diff hist +16 Zipper Color also image of top context, so that coloring become consequent
- 13:27, 11 July 2007 diff hist +191 m Zipper Indexing also the next level
- 13:08, 11 July 2007 diff hist +61 m Zipper Old \underbrace syntax
- 13:00, 11 July 2007 diff hist +271 Zipper Table showing path towards root
- 12:19, 11 July 2007 diff hist +73 N File:Context-X-34.png Image of context (@ (3 4)) Made by own hands with LaTeX ans qtree package current
- 12:17, 11 July 2007 diff hist +27 m Zipper Image of next step
- 11:48, 11 July 2007 diff hist +77 N File:Context-1X-34.png Image of context ((1 @) (3 4)) Made by own hands with LaTeX and qtree package current
- 11:45, 11 July 2007 diff hist 0 m Zipper Typo, rename
- 11:43, 11 July 2007 diff hist +77 N File:Context-1X-23.png Image of context ((1 @) (3 4)) Made vy own hands with LaTeX and qtree package current
- 11:37, 11 July 2007 diff hist +37 Zipper Image of context ((1 @) (3 4))
- 11:36, 11 July 2007 diff hist +77 N File:Context-1 -23.png Image of context ((1 @) (3 4)) Made by own hads, with LaTeX ans qtree package current
- 11:34, 11 July 2007 diff hist +8 m Zipper align with table
- 11:31, 11 July 2007 diff hist 0 m Zipper typo
- 11:29, 11 July 2007 diff hist 0 m Zipper Image
- 11:28, 11 July 2007 diff hist +80 N File:Tree-12-34.png Image for the ((1 2) (3 4)) tree Made by own hands with LaTeX and qtree package. current
- 11:25, 11 July 2007 diff hist +25 Zipper Add tree image
- 17:54, 24 June 2007 diff hist 0 m Uniplate Point link to Scrap your boilerplate article
- 17:53, 24 June 2007 diff hist 0 m Uniplate remove hidden linebreak that broke the Scrap Ypur Boilerplate link
- 14:52, 21 June 2007 diff hist +29 Applications and libraries/Web programming →Web frameworks: See also HAppS tutorial.
- 12:15, 20 June 2007 diff hist +60 Applications and libraries/Web programming →See also: Practical web programming in Haskell
- 09:40, 15 June 2007 diff hist +124 Jobs PhD student on Real-life datatype-generic programming
- 09:35, 15 June 2007 diff hist +177 Zipper →Applications: Roll Your Own Window Manager: Tracking Focus with a Zipper
- 20:07, 1 June 2007 diff hist -1 m Category theory typo
- 20:06, 1 June 2007 diff hist +215 Category theory →Haskell libraries and tools: [http://www.eyrie.org/~zednenem/2004/hsce/ Category extras by David Menendez]: libraries for e.g. comonads, infinite data typ
- 08:29, 8 May 2007 diff hist +131 Dependent type Do we need dependent types? by Daniel Fridlender and Mia Indrika, 2001.
- 13:05, 30 April 2007 diff hist +20 Applications and libraries/GUI libraries Add Grapefruit
- 11:52, 22 April 2007 diff hist +277 Applications and libraries/Compilers and interpreters →AL (Assignment Language): an AL Interpreter implemented in Haskell
- 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