User contributions

From HaskellWiki

(Latest | Earliest) View (newer 500) (older 500) (20 | 50 | 100 | 250 | 500)

• 09:58, 17 July 2012 (hist) (diff) m Template:Main/Events‎ (Move "ICFP Programming Contest 2012" from - →Upcoming Events: to - →Recent Events)
• 11:41, 12 July 2012 (hist) (diff) m Template:Main/Events‎ (swap order at the new inserted item)
• 11:39, 12 July 2012 (hist) (diff) Template:Main/Events‎ (ICFP Programming Contest 2012)
• 06:46, 10 December 2010 (hist) (diff) m Arrow‎ (Updating link)
• 12:21, 24 May 2009 (hist) (diff) m Template:Main/Events‎ (More relevant imformation emphasized)
• 12:20, 24 May 2009 (hist) (diff) m Template:Main/Events‎ (shorten)
• 12:19, 24 May 2009 (hist) (diff) m Template:Main/Events‎ (Capitalize)
• 12:19, 24 May 2009 (hist) (diff) m Template:Main/Events‎ (typo)
• 12:17, 24 May 2009 (hist) (diff) Template:Main/Events‎ (ICFP Programming Contest 2009)
• 21:34, 14 March 2009 (hist) (diff) Chaitin's construction‎ (``Workpage template'', warning about missing substantial details) (top)
• 13:52, 5 July 2008 (hist) (diff) m Chaitin's construction‎ (grammar: singular)
• 13:46, 5 July 2008 (hist) (diff) Chaitin's construction‎ (→Eliminating any concept of code by handling combinatory logic terms directly: Domain of "normal form" partial function)
• 02:57, 17 June 2008 (hist) (diff) m Template:Main/Events‎ (rm year)
• 02:54, 17 June 2008 (hist) (diff) Template:Main/Events‎ (Rm redundance from date, giving hours instead)
• 02:51, 17 June 2008 (hist) (diff) Template:Main/Events‎ (Swap two items)
• 02:50, 17 June 2008 (hist) (diff) Template:Main/Events‎ (ICFP Programming Contest 2008)
• 11:26, 13 August 2007 (hist) (diff) m Zipper‎ (mixed terms)
• 11:24, 13 August 2007 (hist) (diff) Zipper‎ (Moving from hole towards root is an independent idea)
• 21:00, 7 August 2007 (hist) (diff) Relational algebra‎ (→Other links: The λ Abroad. A Functional Approach To Software Components by Daniel Johannes Pieter Leijen) (top)
• 20:28, 20 July 2007 (hist) (diff) Zipper‎ (Notion of "hole" mentioned)
• 21:48, 19 July 2007 (hist) (diff) 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 (hist) (diff) m Zipper‎ ("plug" is used in the literature for filling the hole in)
• 09:39, 19 July 2007 (hist) (diff) m Zipper‎ (Agreement of number: both be plural, or both be singular)
• 09:26, 19 July 2007 (hist) (diff) m Zipper‎ (resolve another ambiguity, borders of scopes better expressed)
• 09:21, 19 July 2007 (hist) (diff) m Zipper‎ (resolve ambiguity)
• 09:17, 19 July 2007 (hist) (diff) m Zipper‎ (66-99-style quotation marks (“”), instead of ASCII-style "s)
• 09:02, 19 July 2007 (hist) (diff) Zipper‎ ("Mounting" a tree into a context: representation of tree with marked subtree (focus))
• 08:58, 19 July 2007 (hist) (diff) m Zipper‎ (syntax of image inserting)
• 08:56, 19 July 2007 (hist) (diff) Image:Mount-op12cl-34.png‎ (Subtree (1 2) "mounted" into context (@ (3 4)). Made by own hands with GIMP and LaTeX's qtree package.) (top)
• 08:55, 19 July 2007 (hist) (diff) Image:Circum-op12cl-34.png‎ (Tree ((1 2) (3 4)) with left subtree marked. Made by own hands with GIMP and LaTeX's qtree package.) (top)
• 08:49, 19 July 2007 (hist) (diff) Zipper‎ (Image: "mounting" subtree into context)
• 08:08, 19 July 2007 (hist) (diff) 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 (hist) (diff) m Zipper‎ (→Automation: Add a similar paper)
• 13:58, 17 July 2007 (hist) (diff) 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 (hist) (diff) Zipper‎ (→Comonads and monads: related external links (Tarmo Uustalu's papers and an article from A Neighborhood of Infinity))
• 12:38, 17 July 2007 (hist) (diff) m Zipper‎ (better intro for a sentence)
• 12:36, 17 July 2007 (hist) (diff) m Zipper‎ (Using term "focus")
• 11:04, 17 July 2007 (hist) (diff) Continuation‎ (→External links: Continuations.html Continuations and delimited control)
• 11:01, 17 July 2007 (hist) (diff) m Zipper‎ (→Further reading: Scope of quotation)
• 10:59, 17 July 2007 (hist) (diff) Continuation‎ (→See also: extended to - →Delimited continuation)
• 10:53, 17 July 2007 (hist) (diff) m Zipper‎ (→Further reading: typo)
• 10:52, 17 July 2007 (hist) (diff) m Zipper‎ (→Further reading: typo)
• 10:51, 17 July 2007 (hist) (diff) Zipper‎ (→Futher reading: , about the zippers and delimited continuations)
• 10:38, 17 July 2007 (hist) (diff) Continuation‎ (→See also: Delimited continuation, Zipper)
• 10:33, 17 July 2007 (hist) (diff) m Zipper‎ (→Application: There is a HaskellWiki article on delimited continuations, providing a link there)
• 11:56, 16 July 2007 (hist) (diff) m Help:Editing‎ ((1) Small stylistical correction (2) small conclusion/summary part)
• 19:04, 15 July 2007 (hist) (diff) m Help:Editing‎ (Long hyphen as symbol — and not as --)
• 17:13, 15 July 2007 (hist) (diff) m Help:Editing‎ (clarify)
• 17:11, 15 July 2007 (hist) (diff) m Help:Editing‎ (clarify)
• 17:07, 15 July 2007 (hist) (diff) m Help:Editing‎ (grammatical corrections)
• 17:06, 15 July 2007 (hist) (diff) Help:Editing‎ (Correcting my previous statement: Matrix environments CAN be embedded in a hierarchical way)
• 16:18, 15 July 2007 (hist) (diff) m Sandbox‎ (Embedded matrix)
• 16:15, 15 July 2007 (hist) (diff) Sandbox‎ (Matrix example)
• 16:09, 15 July 2007 (hist) (diff) m Help:Editing‎ (Line break)
• 16:08, 15 July 2007 (hist) (diff) m Help:Editing‎ (→Under/overbrace: Break lines in cells of table)
• 16:03, 15 July 2007 (hist) (diff) m Help:Editing‎ (typo)
• 16:01, 15 July 2007 (hist) (diff) Help:Editing‎ (→Under/overbrace: More simple examples)
• 15:55, 15 July 2007 (hist) (diff) Help:Editing‎ (Multiple-embedded underbrace)
• 15:08, 15 July 2007 (hist) (diff) m Zipper‎ (More precise alignment to the centre)
• 15:04, 15 July 2007 (hist) (diff) Zipper‎ (Old syntax for double-embedded underbraces)
• 14:43, 15 July 2007 (hist) (diff) Help:Editing‎ (→Some new math symbols: upper corner quotation marks (used for stressing object language expressions))
• 14:24, 15 July 2007 (hist) (diff) Help:Editing‎ (Initiate - →Differences from Wikipedia: , describing - →Under/overbrace)
• 14:11, 15 July 2007 (hist) (diff) m Zipper‎ (Empty list's role)
• 14:06, 15 July 2007 (hist) (diff) m Zipper‎ (underbraced list)
• 12:56, 15 July 2007 (hist) (diff) Image: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) (top)
• 12:54, 15 July 2007 (hist) (diff) Zipper‎ (Image for the more deconstructed context representation)
• 12:22, 15 July 2007 (hist) (diff) m Zipper‎ (Small clarify, mention also a naive implementation)
• 12:02, 15 July 2007 (hist) (diff) m Zipper‎ (typo)
• 11:44, 15 July 2007 (hist) (diff) Zipper‎ (Provide definition for auxiliary datatype Direction (at binary trees, equivalent to Bool))
• 11:41, 15 July 2007 (hist) (diff) Zipper‎ (1) deconstruction for the zipper datatype 2)Instead of double-embeddedd parantheses, making a "Remarks:" list)
• 10:33, 15 July 2007 (hist) (diff) 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 (hist) (diff) Zipper‎ (A colon is appropriate here: the image table serves as an illustration)
• 14:05, 11 July 2007 (hist) (diff) Image:Top.png‎ (Image of top context Made by own hands, with LaTeX and GIMP) (top)
• 14:04, 11 July 2007 (hist) (diff) Zipper‎ (Color also image of top context, so that coloring become consequent)
• 13:27, 11 July 2007 (hist) (diff) m Zipper‎ (Indexing also the next level)
• 13:08, 11 July 2007 (hist) (diff) m Zipper‎ (Old \underbrace syntax)
• 13:00, 11 July 2007 (hist) (diff) Zipper‎ (Table showing path towards root)
• 12:19, 11 July 2007 (hist) (diff) Image:Context-X-34.png‎ (Image of context (@ (3 4)) Made by own hands with LaTeX ans qtree package) (top)
• 12:17, 11 July 2007 (hist) (diff) m Zipper‎ (Image of next step)
• 11:48, 11 July 2007 (hist) (diff) Image:Context-1X-34.png‎ (Image of context ((1 @) (3 4)) Made by own hands with LaTeX and qtree package) (top)
• 11:45, 11 July 2007 (hist) (diff) m Zipper‎ (Typo, rename)
• 11:43, 11 July 2007 (hist) (diff) Image:Context-1X-23.png‎ (Image of context ((1 @) (3 4)) Made vy own hands with LaTeX and qtree package) (top)
• 11:37, 11 July 2007 (hist) (diff) Zipper‎ (Image of context ((1 @) (3 4)))
• 11:36, 11 July 2007 (hist) (diff) Image:Context-1 -23.png‎ (Image of context ((1 @) (3 4)) Made by own hads, with LaTeX ans qtree package) (top)
• 11:34, 11 July 2007 (hist) (diff) m Zipper‎ (align with table)
• 11:31, 11 July 2007 (hist) (diff) m Zipper‎ (typo)
• 11:29, 11 July 2007 (hist) (diff) m Zipper‎ (Image)
• 11:28, 11 July 2007 (hist) (diff) Image:Tree-12-34.png‎ (Image for the ((1 2) (3 4)) tree Made by own hands with LaTeX and qtree package.) (top)
• 11:25, 11 July 2007 (hist) (diff) Zipper‎ (Add tree image)
• 17:54, 24 June 2007 (hist) (diff) m Uniplate‎ (Point link to Scrap your boilerplate article) (top)
• 17:53, 24 June 2007 (hist) (diff) m Uniplate‎ (remove hidden linebreak that broke the Scrap Ypur Boilerplate link)
• 14:52, 21 June 2007 (hist) (diff) Applications and libraries/Web programming‎ (→Web frameworks: See also HAppS tutorial.)
• 12:15, 20 June 2007 (hist) (diff) Applications and libraries/Web programming‎ (→See also: Practical web programming in Haskell)
• 09:40, 15 June 2007 (hist) (diff) Jobs‎ (PhD student on Real-life datatype-generic programming)
• 09:35, 15 June 2007 (hist) (diff) Zipper‎ (→Applications: Roll Your Own Window Manager: Tracking Focus with a Zipper)
• 20:07, 1 June 2007 (hist) (diff) m Category theory‎ (typo)
• 20:06, 1 June 2007 (hist) (diff) 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 (hist) (diff) Dependent type‎ (Do we need dependent types? by Daniel Fridlender and Mia Indrika, 2001.)
• 13:05, 30 April 2007 (hist) (diff) Applications and libraries/GUI libraries‎ (Add Grapefruit)
• 11:52, 22 April 2007 (hist) (diff) Applications and libraries/Compilers and interpreters‎ (→AL (Assignment Language): an AL Interpreter implemented in Haskell)
• 12:34, 16 April 2007 (hist) (diff) m Attribute grammar‎ (typos)
• 12:32, 16 April 2007 (hist) (diff) Attribute grammar‎ (FNC-2 System)
• 11:30, 29 March 2007 (hist) (diff) Applications and libraries/Linguistics‎ (→Natural language processors (and generators): Eric Kow's recent publications on GenI)
• 23:43, 25 March 2007 (hist) (diff) Continuation‎ (→Applications: Oleg Kiselyov's ZipperFS)
• 23:39, 25 March 2007 (hist) (diff) m Zipper‎ (Add table-of-contents, remove self-referent link, add more inner links)
• 23:35, 25 March 2007 (hist) (diff) Zipper‎ (→Applications: ZipperFS)
• 23:31, 25 March 2007 (hist) (diff) m Applications and libraries/Operating system‎ (→Filesystems: Linkify Zipper and Continuation)
• 02:46, 22 February 2007 (hist) (diff) m Applications and libraries/Compilers and interpreters‎ (→QML, a functional quantum programming language: typos)
• 02:44, 22 February 2007 (hist) (diff) 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 (hist) (diff) Zipper‎ (→Further reading: Haskell/Zippers on Wikibooks)
• 22:08, 21 February 2007 (hist) (diff) Arrow‎ (→Functional I/O, graphical user interfaces: FG, Phooey)
• 22:05, 21 February 2007 (hist) (diff) Arrow‎ (→Library: arrows package)
• 21:57, 21 February 2007 (hist) (diff) Arrow‎ (→External links: Haskell/Arrows]on Wikibooks)
• 21:55, 21 February 2007 (hist) (diff) m Arrow‎ (some Wikipedia conventions)
• 15:34, 20 February 2007 (hist) (diff) m WxHaskell‎ (remove accidental repetition of copy-paste)
• 15:33, 20 February 2007 (hist) (diff) 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 (hist) (diff) m WxHaskell‎ (→External links: Correction of the title. Koen Lindström Claessen: Graphical User Interfaces in Haskell], slides (pdf))
• 15:23, 20 February 2007 (hist) (diff) WxHaskell‎ (Koen Lindström Claessen: WxHaskell slides (pdf))
• 15:18, 20 February 2007 (hist) (diff) WxHaskell‎ (→External links: Advanced Functional Programming / WxHaskell], a portal like page)
• 15:10, 20 February 2007 (hist) (diff) m WxHaskell‎ (→External links: file types: pdf, ppt...)
• 15:08, 20 February 2007 (hist) (diff) WxHaskell‎ (→External links: Koen Lindström Claessen: Graphical User Interfaces in Haskell)
• 15:00, 20 February 2007 (hist) (diff) WxHaskell‎ (Wei Tan: GUI Programming with wxHaskell)
• 14:03, 20 February 2007 (hist) (diff) WxHaskell‎ (→External link: Daan Leijen: wxHaskell / A Portable and Concise GUI Library for Haskell)
• 00:54, 19 February 2007 (hist) (diff) m Applications and libraries/GUI libraries‎ (The section link is no longer valid. Updated for WxHaskell)
• 16:23, 13 December 2006 (hist) (diff) Applications and libraries/Linguistics‎ (ToC hierarchy)
• 16:22, 13 December 2006 (hist) (diff) Applications and libraries/Linguistics‎ (Delete {{Main}} template)
• 16:20, 13 December 2006 (hist) (diff) Applications and libraries/Linguistics‎ (→Continuations in natural languages: paper)
• 16:15, 13 December 2006 (hist) (diff) Continuation‎ (→Linguisitcs: Continuations in Natural Language)
• 12:40, 4 December 2006 (hist) (diff) m Applications and libraries/Linguistics‎ (format)
• 12:39, 4 December 2006 (hist) (diff) 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 (hist) (diff) m Zipper‎ (Typo)
• 16:17, 10 November 2006 (hist) (diff) m Zipper‎ (→Further reading: Fix link)
• 16:16, 10 November 2006 (hist) (diff) Zipper‎ (→Furtherreading: Infinitesimal types. Derivative for types)
• 08:39, 27 October 2006 (hist) (diff) m Continuation‎ (→External links: typographic correction)
• 08:37, 27 October 2006 (hist) (diff) Continuation‎ (→External links: The appropriate section of Haskell: Functional Programming with Types (WikiBooks version))
• 08:14, 27 October 2006 (hist) (diff) User talk:Ashley Y‎ (→Deletion of Continuation passing style)
• 07:56, 27 October 2006 (hist) (diff) Continuation passing style‎ (Creation of this page was an accident. Deleting this page)
• 07:47, 27 October 2006 (hist) (diff) Continuation passing style‎ (→See also: Continuation)
• 07:45, 27 October 2006 (hist) (diff) 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 (hist) (diff) Recursive function theory‎ (→Recursive functions: ``Homogenous'' version of generalized composition)
• 11:27, 11 October 2006 (hist) (diff) Literate programming‎ (→Shuffle: A tool extending lhs2TeX's capabilities)
• 12:10, 10 October 2006 (hist) (diff) m Dependent type‎ (/Qi*/ Typographic correction)
• 12:09, 10 October 2006 (hist) (diff) Dependent type‎ (→Qi: and Blaise: Lisp-based languages with dependent types)
• 23:46, 9 October 2006 (hist) (diff) m Continuation‎ (Small formatting, + typographical correction)
• 23:43, 9 October 2006 (hist) (diff) 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 (hist) (diff) m Category theory/Natural transformation‎ (→Functor and natural transformation: “zero-or-one-or-many-occurrences” - parser of list of things) (top)
• 15:26, 5 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Fix incorrect pairing of parantheses)
• 12:14, 5 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→External links: Toposes, Triples and Theories written by Michael Barr and Charles Wells.)
• 11:01, 5 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Spell-check with ispell)
• 14:17, 4 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Fix broken section-link)
• 14:13, 4 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Natural transformation and functor: Haskell example (coinciding with maybeToList))
• 12:32, 4 October 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) Category theory/Natural transformation‎ (→Operations: Complete formal definitions)
• 09:35, 4 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Typographic cirections, rephrasing, more links)
• 09:29, 4 October 2006 (hist) (diff) 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 (hist) (diff) m Category theory/Natural transformation‎ (Better table-of-contents hierarchy)
• 09:12, 4 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Deleting empty environments, make more didactical order, typographic cirrectipons)
• 09:08, 4 October 2006 (hist) (diff) 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 (hist) (diff) Category theory/Natural transformation‎ (Categorizing under Category:Theoretical foundations)
• 16:19, 3 October 2006 (hist) (diff) Category:Theoretical foundations‎ (The cited material is now online, so I linked it) (top)
• 14:46, 3 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Commutative diagram is in D category)
• 14:37, 3 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Commutative diagram: Definition of notion ``natural transformation'')
• 13:18, 3 October 2006 (hist) (diff) Category theory/Natural transformation‎ (Fix broken link)
• 13:17, 3 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (→Remarks: Link to source code)
• 13:11, 3 October 2006 (hist) (diff) Image:Natural transformation.tex‎ (Source code for commutative diagram image defining natural transformation) (top)
• 13:07, 3 October 2006 (hist) (diff) Image:Natural transformation.png‎ (Commutative diagram used to illustrate the definition of notion ``natural transfomration'') (top)
• 13:03, 3 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Commutative diagram: Link to image)
• 21:47, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (for lists: map (or fmap), for Maybe's: fmap)
• 20:36, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (→External links: typographic correction)
• 20:36, 2 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→External links: HaWiki article not migrated yet)
• 20:26, 2 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Commutative diagram: Notations)
• 20:12, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Vertical arrows: sides of objects: rephrase non-scientific expression)
• 20:10, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Fix empty line tricks at tables)
• 20:05, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (→Commutativity of the diagram: Format caption (no more a caption))
• 20:02, 2 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Commutativity of diagram: More typings)
• 19:49, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Order should suggest the correspondence between Haskell example and mathmatical formalism)
• 19:45, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (<math> environment)
• 19:41, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Rephrasings)
• 19:21, 2 October 2006 (hist) (diff) Category theory/Natural transformation‎ (In fact, even has a more general type (Integral a => a -> Bool) than described here)
• 19:12, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Better section structure)
• 19:11, 2 October 2006 (hist) (diff) Category theory/Natural transformation‎ (maybeToList as an example)
• 14:09, 23 September 2006 (hist) (diff) Applications and libraries/Compiler tools‎ (The Packrat Parsing and Parsing Expression Grammars Page)
• 12:09, 4 September 2006 (hist) (diff) m Libraries and tools/Linguistics/Applicative universal grammar‎ (→To do: Rephrasing: some words added) (top)
• 12:08, 4 September 2006 (hist) (diff) Libraries and tools/Linguistics/Applicative universal grammar‎ (→To do: Short-term plans)
• 23:05, 3 September 2006 (hist) (diff) 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 (hist) (diff) Lojban‎ (→Introduction: Links to notions: Valency, applicative voice) (top)
• 15:41, 3 September 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: Rephrasing introductory text more clearly)
• 15:36, 3 September 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: Typographic correction)
• 15:32, 3 September 2006 (hist) (diff) Lojban‎ (Less modularized solution for using structural description names)
• 22:15, 2 September 2006 (hist) (diff) 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 (hist) (diff) m Lojban‎ (Typographic correction)
• 20:51, 2 September 2006 (hist) (diff) Lojban‎ (→Meta vs object language: Reference to Tarski's selected papers ``Proof and truth'')
• 20:39, 2 September 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: Mentioning Traski's “structural descriptive name” notion)
• 02:20, 23 August 2006 (hist) (diff) m Applications and libraries/Operating system‎ (Updating link (my sentence-style capitalization had made this link broken, now updated))
• 02:17, 23 August 2006 (hist) (diff) 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 (hist) (diff) m Research papers/Program development‎ (Link back to Libraries and tools/Operating system)
• 02:03, 23 August 2006 (hist) (diff) Applications and libraries/Operating system‎ (Link to Research papers/Program development#Operating Systems)
• 22:43, 22 August 2006 (hist) (diff) m Darcs‎ (Better formatting)
• 22:41, 22 August 2006 (hist) (diff) m Darcs‎ ((1) Assymmetric (6-9-shaped) quotation marks (2) Typographic corrections)
• 22:37, 22 August 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) m Applications and libraries/Genetic programming‎ (Better introductory text on the ant evolution case study)
• 08:27, 20 August 2006 (hist) (diff) 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 (hist) (diff) m Lojban‎ (More general introductory text)
• 15:57, 19 August 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: Introductory text + small formattings, rephrasings)
• 13:28, 19 August 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: A better informal notation for ``quoatations'' in quines)
• 13:25, 19 August 2006 (hist) (diff) Lojban‎ (→Meta vs object language: Solving problem of ``quotation'' when writing a quine in combinatory logic)
• 03:52, 19 August 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: More concise and clear rephrasing + some typographic corrections)
• 03:48, 19 August 2006 (hist) (diff) Lojban‎ (→Meta vs object language: Didactical relevance?)
• 03:14, 19 August 2006 (hist) (diff) Lojban‎ (→References: The Complete Lojban Language / The Lojban Reference Grammar)
• 16:13, 17 August 2006 (hist) (diff) m Turing machine‎ (→Search: State name misspelled)
• 16:08, 17 August 2006 (hist) (diff) 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 (hist) (diff) m Recursive function theory‎ (Mentioning Kleene's s^m_n theorem in the context of currying)
• 14:40, 17 August 2006 (hist) (diff) m Turing machine‎ (Dummy edit: ``blank'' versus ``Letter *'')
• 14:38, 17 August 2006 (hist) (diff) m Turing machine‎ (blank vs Letter 1 instead of 0 vs 1 or blank vs letter 1)
• 14:08, 17 August 2006 (hist) (diff) 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 (hist) (diff) m Combinatory logic‎ (Mentioning other solutions (which are just mentioned, because they are more complicated))
• 23:35, 10 August 2006 (hist) (diff) Combinatory logic‎ (→Maybe2: Defining Maybe2 datatype (found in an old Hugs library) in CL)
• 20:57, 8 August 2006 (hist) (diff) m Lojban‎ (typographic correction)
• 20:54, 8 August 2006 (hist) (diff) Lojban‎ (zo'e, a place-keeper argument -- analogy with notion of zero in number decimal representation)
• 13:52, 8 August 2006 (hist) (diff) m Lojban‎ (The order of arguments in the predicate corrected)
• 13:35, 8 August 2006 (hist) (diff) m Lojban‎ (Using ``I, me'' instead of ``I'' in the vocabulary)
• 13:34, 8 August 2006 (hist) (diff) m Lojban‎ (Some comments, rephrasings + spell-check with ispell)
• 11:38, 8 August 2006 (hist) (diff) m Lojban‎ (Analogy between passive voice in Lojban expressed by ``se'' predicate modifiier to combinator C)
• 22:05, 7 August 2006 (hist) (diff) 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 (hist) (diff) m Applications and libraries/Linguistics‎ (Fixing link)
• 21:37, 7 August 2006 (hist) (diff) 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 (hist) (diff) Lojban‎ (→Repeating: Even more combinators, modifying directly the predicate, not arbitrary subexpression of the sentence)
• 20:44, 7 August 2006 (hist) (diff) m Lojban‎ (Rephrasing a typographic corrections)
• 20:39, 7 August 2006 (hist) (diff) Lojban‎ (→Repeating: Useing combinator W_(2), the deferred version of elementary duplicator W)
• 20:07, 7 August 2006 (hist) (diff) m Lojban‎ (Two personal pronouns mixed)
• 20:05, 7 August 2006 (hist) (diff) m Lojban‎ (→References: Reformatting)
• 20:03, 7 August 2006 (hist) (diff) Lojban‎ (Lojban analogies of C and W combinators of combinatry logic)
• 19:38, 7 August 2006 (hist) (diff) Applications and libraries/Linguistics‎ (→Natural language processing and combinatory logic: Small introductory text)
• 17:40, 7 August 2006 (hist) (diff) m Applications and libraries/Linguistics‎ (→Other linguistics-related resources: Initiating separate page for Lojban)
• 17:36, 7 August 2006 (hist) (diff) Combinatory logic‎ (→Applications: Mentioning artificial language ``Lojban'' and its possible relatedness to combinatory logic)
• 00:10, 7 August 2006 (hist) (diff) Chaitin's construction‎ (→Eliminating any concept of code by handling combinatory logic terms directly: Heuristical steps)
• 22:53, 5 August 2006 (hist) (diff) m Chaitin's construction‎ (Chaitin's constructION)
• 22:51, 5 August 2006 (hist) (diff) Chaitin's construction‎ (→Table for small legths: illustrating the normal number property of Chaitin's construct)
• 21:50, 5 August 2006 (hist) (diff) 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 (hist) (diff) Chaitin's construction‎ (→Table for small legths: Extending binary approximation of Omega to fit the code length)
• 21:01, 5 August 2006 (hist) (diff) Chaitin's construction‎ (→Table for simpler CL-terms: New column added: Omega approximated till now: mantissa binary (decimal))
• 20:22, 5 August 2006 (hist) (diff) 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 (hist) (diff) m Chaitin's construction‎ (→Table for simpler CL-terms: Headline renaming (earlier: ``Table for smaller CL-terms''))
• 20:14, 5 August 2006 (hist) (diff) m Chaitin's construction‎ (→Table for smaller CL-terms: Short introductory text)
• 20:10, 5 August 2006 (hist) (diff) 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 (hist) (diff) Chaitin's construction‎ (→Table for small legths: exemplifying Chaitin's contruct for small cases)
• 18:35, 5 August 2006 (hist) (diff) m Computer science‎ (Adding link to Algorithmic information theory with small text explaining motivation) (top)
• 18:16, 5 August 2006 (hist) (diff) Mathematics‎ (Double bulllets for list)
• 18:15, 5 August 2006 (hist) (diff) m Mathematics‎ (Link to Algorithmic information theory, with short text)
• 17:58, 5 August 2006 (hist) (diff) m Algorithmic information theory‎ (small rephrasing) (top)
• 17:57, 5 August 2006 (hist) (diff) Algorithmic information theory‎ ((1): A link back to Chaitin's construction, (2): some introductory text annoting Chaitin's writings)
• 17:52, 5 August 2006 (hist) (diff) m Algorithmic information theory‎ (Adding (yet invisible) table of contents, and categorizing as Category:Theoretical foundations)
• 17:50, 5 August 2006 (hist) (diff) Algorithmic information theory‎ (Wikipedia links and Chaitin's homepage)
• 17:20, 5 August 2006 (hist) (diff) m Chaitin's construction‎ (→Introduction: Initiating new page Algorithmic information theory)
• 15:19, 5 August 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) m Chaitin's construction‎ (``norm function OF ...'' is disambigous here, using ``FROM '' instead)
• 14:57, 5 August 2006 (hist) (diff) m Chaitin's construction‎ (→To do: points to - →Implementation: and newly moved - →More natural norm functions (from CL terms)
• 14:45, 5 August 2006 (hist) (diff) 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 (hist) (diff) m Chaitin's construction‎ (→To do: Extending usage examples, and better option name)
• 14:43, 4 August 2006 (hist) (diff) Chaitin's construction‎ (→Implementation: Better section hierarchy)
• 14:40, 4 August 2006 (hist) (diff) 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 (hist) (diff) m Chaitin's construction/Combinatory logic‎ (table of contents and categorising under Category:Theoretical foundations) (top)
• 14:33, 4 August 2006 (hist) (diff) Chaitin's construction/Combinatory logic‎ (Lifting section hierarchy)
• 14:31, 4 August 2006 (hist) (diff) Chaitin's construction/Parser‎ (Moving combinatory logic term modules to a separate pege) (top)
• 14:21, 4 August 2006 (hist) (diff) m Chaitin's construction‎ (Grammatical and typographic corrections)
• 14:13, 4 August 2006 (hist) (diff) 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 (hist) (diff) Chaitin's construction‎ (Defining concept which do not use the notion of ``code'')
• 13:11, 4 August 2006 (hist) (diff) Chaitin's construction/Parser‎ (Moving text and modifying section hierarchy. Mentioning term generators)
• 12:47, 4 August 2006 (hist) (diff) Chaitin's construction‎ (Also other details go to the separate Chaitin's construction/Parser page)
• 12:44, 4 August 2006 (hist) (diff) Chaitin's construction/Parser‎ (Receiving contents from the mentioned page, and adjusting its section hierarchy)
• 12:41, 4 August 2006 (hist) (diff) 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 (hist) (diff) m Chaitin's construction‎ (→Decoding: Changing term ``arrow parsers'' into a link to Arrow#Parser)
• 22:43, 3 August 2006 (hist) (diff) Chaitin's construction‎ (``neverfailing'' is a better name for the combinator on parsers, which makes ``decode'' function total)
• 22:26, 3 August 2006 (hist) (diff) Chaitin's construction‎ (→Decoding: Referring to paper Monadic Parser Combinators, credit to Graham Hutton and Erik Meier)
• 22:07, 3 August 2006 (hist) (diff) m Chaitin's construction‎ (binding after parser |item|)
• 22:02, 3 August 2006 (hist) (diff) m Chaitin's construction‎ (rephrasing)
• 21:59, 3 August 2006 (hist) (diff) m Chaitin's construction‎ (LL(1) grammar, not LL(0))
• 21:51, 3 August 2006 (hist) (diff) Chaitin's construction‎ (→Decoding: More clear distinction between LL(k) parser and LL(k) grammar)
• 21:29, 3 August 2006 (hist) (diff) m Chaitin's construction‎ (typographic corrections, rephrasings)
• 21:10, 3 August 2006 (hist) (diff) Chaitin's construction‎ (Rephrasings, annotations, and code examples for partial function approach and total function approach)
• 17:29, 3 August 2006 (hist) (diff) 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 (hist) (diff) m Chaitin's construction‎ (Small rephrasing of headlines)
• 17:06, 3 August 2006 (hist) (diff) m Chaitin's construction‎ (Small corrections)
• 17:02, 3 August 2006 (hist) (diff) m Chaitin's construction‎ (Fixing import/export lists of modules)
• 16:48, 3 August 2006 (hist) (diff) Chaitin's construction‎ (Defining decode function in Haskell)
• 14:01, 3 August 2006 (hist) (diff) m Chaitin's construction‎ (Putting verb in a sentence which consisted only of a huge noun phrase)
• 13:53, 3 August 2006 (hist) (diff) m Chaitin's construction‎ (Spell-check with ispell)
• 13:46, 3 August 2006 (hist) (diff) m Chaitin's construction‎ (No indenting for bash code)
• 13:39, 3 August 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) Chaitin's construction‎ (→To do: Writing software for making conjectures in this topic)
• 11:45, 3 August 2006 (hist) (diff) m Chaitin's construction‎ (→Introduction: Writing an introductory text -- asking the motivating question of the topic)
• 11:39, 3 August 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) m Chaitin's construction‎ (Some rephrasing)
• 11:13, 3 August 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) m Exact real arithmetic‎ (``Chaitin's construction'' misspelled)
• 10:51, 3 August 2006 (hist) (diff) m Exact real arithmetic‎ (Better aligning of mathematical formulae and typographic correction)
• 10:47, 3 August 2006 (hist) (diff) Exact real arithmetic‎ (Decoding function can be made a total function: with Maybe)
• 10:17, 3 August 2006 (hist) (diff) 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 (hist) (diff) Applications and libraries/Theorem provers‎ (Adding Ivor also to here)
• 08:25, 31 July 2006 (hist) (diff) Dependent type‎ (→Library: Adding Ivor theorem prover, and other related materials found on Edwin Brady's homepage)
• 11:52, 27 July 2006 (hist) (diff) m Generalised algebraic datatype‎ (Typographic corrections and fixing links)
• 11:47, 27 July 2006 (hist) (diff) m Template:Main/News‎ (Date: ICFP Programming Contest 2006 ended in 24 July)
• 11:43, 27 July 2006 (hist) (diff) m Template:Main/Events‎ (... from Events)
• 11:43, 27 July 2006 (hist) (diff) Template:Main/News‎ (ICFP Prgramming Contest is over, it comes to News...)
• 11:34, 27 July 2006 (hist) (diff) m ICFP Programming Contest‎ (The contest is over, so uptdating the text accordingly)
• 09:18, 25 July 2006 (hist) (diff) m Generalised algebraic datatype‎ (typographic correction)
• 09:17, 25 July 2006 (hist) (diff) m Generalised algebraic datatype‎ (More exact phrases)
• 09:13, 25 July 2006 (hist) (diff) 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 (hist) (diff) ICFP Programming Contest‎ (Some contest materials are already available for download)
• 20:29, 19 July 2006 (hist) (diff) m Libraries and tools/Linguistics/Applicative universal grammar‎ (→General resources: Resolving the ambiguity of a sentence)
• 20:22, 19 July 2006 (hist) (diff) m Libraries and tools/Linguistics/Applicative universal grammar‎ (Spell-check)
• 20:11, 19 July 2006 (hist) (diff) m Libraries and tools/Linguistics/Applicative universal grammar‎ (Typographic corrections)
• 20:09, 19 July 2006 (hist) (diff) 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 (hist) (diff) m Combinatory logic‎ (Partial spell-check with `spell')
• 18:55, 19 July 2006 (hist) (diff) Combinatory logic‎ (→Applications: CL's linguistical applications, especially applicative universal grammar)
• 14:52, 19 July 2006 (hist) (diff) m ICFP Programming Contest‎ (Using term ``noon'' instead of ``a.m.'' in giving the duration of the contest)
• 14:34, 19 July 2006 (hist) (diff) ICFP Programming Contest‎ (Adding a link to an online clock showing Eastern Daylight Time.)
• 23:08, 18 July 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) Libraries and tools/Linguistics/Applicative universal grammar‎ (→Fragments: More mailing list excerpts discussing the notion of ``meaning'' in AUG)
• 00:10, 18 July 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) Applications and libraries/Linguistics‎ (...meta: child page Applicative universal grammar knows its parent page Linguistics)
• 23:32, 17 July 2006 (hist) (diff) 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) (top)
• 23:32, 17 July 2006 (hist) (diff) 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 (hist) (diff) Libraries and tools/Linguistics/Applicative universal grammar‎ (Meta: Adding table-of-contents and categorising under Category:Theoretical foundations...)
• 23:25, 17 July 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) Applications and libraries/Linguistics‎ (→Applicative universal grammar: Link to paper comparing combinatory categorial grammar to applicative universal grammar)
• 11:48, 15 July 2006 (hist) (diff) 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 (hist) (diff) m ICFP Programming Contest‎ (Spell-check with ispell (but leaving ``archaeo-'', maybe it is intentional))
• 15:39, 14 July 2006 (hist) (diff) ICFP Programming Contest‎ (Announcement (mentioning ``archeolinguisitcs'') can be read also on Haskell Maling List haskell@haskell.org)
• 15:20, 14 July 2006 (hist) (diff) m ICFP Programming Contest‎ (Dates)
• 15:15, 14 July 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) Template:Main/Events‎ (ICFP Programming Contest, 2006)
• 12:50, 22 June 2006 (hist) (diff) Prelude extensions‎ (Add link to point-free programming wikipage)
• 11:22, 22 June 2006 (hist) (diff) Applications and libraries/Data structures‎ (→References: making occurrence of word ``point-free'' into a link to Pointfree wikipage)
• 11:11, 22 June 2006 (hist) (diff) Pointfree‎ (→References: ``Pointless Haskell'' library for point-free programming)
• 10:12, 22 June 2006 (hist) (diff) m Prelude extensions‎ (Adding table of contents)
• 10:09, 22 June 2006 (hist) (diff) Arrow‎ (→Function: A link back to Prelude extensions#Tuples, because of `first' and its related operations)
• 10:01, 22 June 2006 (hist) (diff) m Example code‎ (Updating link to Prelude extensions, so that redirection page do not appear)
• 10:00, 22 June 2006 (hist) (diff) 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.) (top)
• 10:00, 22 June 2006 (hist) (diff) m Prelude extensions‎ (Prelude Extensions moved to Prelude extensions)
• 09:52, 22 June 2006 (hist) (diff) Prelude extensions‎ (→Tuples: Standard library implementations for mapFst, mapSnd, mapPair: see Data.Graph.Inductive.Query.Monad or Control.Arrow)
• 06:49, 20 June 2006 (hist) (diff) m Arrow‎ (Formatting word occurrences ``monad'' as monad: a link)
• 13:20, 19 June 2006 (hist) (diff) m Combinatory logic‎ (→Illative combinatory logic: Converting headline to sentence-style capitalization (to meet HaskellWiki:Guidelines#Headlines))
• 13:26, 17 June 2006 (hist) (diff) m Combinatory logic‎ (Using Wikipedia's both-shape quotation marks: “-begun ”-ended, instead of the homogenous "-same-as-")
• 13:20, 17 June 2006 (hist) (diff) Combinatory logic‎ (→General: Describing pointfree taste of CL, mentioning Recursive function theory's lack-of-variables)
• 13:07, 17 June 2006 (hist) (diff) Applications and libraries/Database interfaces‎ (→Related concepts: new section added. It mentions Relational algebra. Also table of contents added)
• 11:27, 17 June 2006 (hist) (diff) Type arithmetic‎ (New sections - →Theory: (linking to Dependent type) and - →Practice: (linking to Extensible record and relational algebra))
• 11:11, 17 June 2006 (hist) (diff) Dependent type‎ (→Simulating them: links to Type arithmetic)
• 11:06, 17 June 2006 (hist) (diff) m Extensible record‎ (→Related concepts: links to Type arithmetic)
• 11:01, 17 June 2006 (hist) (diff) m Relational algebra‎ (→Just a thought: extensible record and more generally, type arithmetic)
• 10:59, 17 June 2006 (hist) (diff) m Relational algebra‎ (→Just a thought: Mentioning also extensible record as a related concept)
• 10:54, 17 June 2006 (hist) (diff) m Relational algebra‎ (→Practice: more unambigous introductory text)
• 10:44, 17 June 2006 (hist) (diff) Relational algebra‎ (→Just a thought: `Query' regarded as an arrow?)
• 10:35, 17 June 2006 (hist) (diff) m Applications and libraries/Database interfaces/CoddFish‎ (→Related concepts: refers to Relational algebra)
• 10:33, 17 June 2006 (hist) (diff) m Applications and libraries/Database interfaces/HaskellDB‎ (→Related concepts: rerfers to Relational algebra)
• 10:29, 17 June 2006 (hist) (diff) Relational algebra‎ (→Practice: links to HaskellDB and CoddFish, as Libraries and tools/Database interfaces)
• 10:19, 17 June 2006 (hist) (diff) Relational algebra‎ (→Just a thought: : an early, immature thought of mine to represent relational algebra expressions)
• 09:22, 17 June 2006 (hist) (diff) 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 (hist) (diff) Relational algebra‎ (Adding reference to pointfree (in shorly describing Oliveira's mentioned paper))
• 08:58, 17 June 2006 (hist) (diff) 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 (hist) (diff) Extensible record‎ (→Declarative database management: and - →Related concepts: : inititating new (theoretical) page Relational agebra)
• 22:17, 16 June 2006 (hist) (diff) m Extensible record‎ (Making an ambiguous sentence clear by more explicit separation)
• 22:14, 16 June 2006 (hist) (diff) 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 (hist) (diff) m Applications and libraries/Database interfaces/CoddFish‎ (spell-check with ispell)
• 21:18, 16 June 2006 (hist) (diff) m Extensible record‎ (spell-check with ispell)
• 21:12, 16 June 2006 (hist) (diff) m Extensible record‎ (typographic correction)
• 21:09, 16 June 2006 (hist) (diff) m Extensible record‎ (→HaskellDB: The link to HaskellDB#Future was broken. Now having fixed)
• 21:01, 16 June 2006 (hist) (diff) Lucid‎ (→Fast-food: Using terms ``syncronous'' vs ``asynchronous'')
• 20:58, 16 June 2006 (hist) (diff) m Arrow‎ (typographic correction)
• 20:57, 16 June 2006 (hist) (diff) Arrow‎ (→Introduction: Adding link to ``Programming with Arrows'' paper written by John Hughes, and describing it shortly)
• 19:47, 16 June 2006 (hist) (diff) 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 (hist) (diff) Applications and libraries/Database interfaces/CoddFish‎ (→Related concepts: section added: it refers to Extensible record)
• 19:13, 16 June 2006 (hist) (diff) m Applications and libraries/Database interfaces/HaskellDB‎ (Also other occurrences of the same term)
• 19:11, 16 June 2006 (hist) (diff) 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 (hist) (diff) Applications and libraries/Database interfaces/CoddFish‎ (→Introduction: Credit to the authors: Alexandra Silva and Joost Visser)
• 15:36, 16 June 2006 (hist) (diff) Applications and libraries/Database interfaces/HaskellDB‎ (→Future: Referring to CoddFish (because also it uses HLIst, too))
• 15:30, 16 June 2006 (hist) (diff) Applications and libraries/Database interfaces/CoddFish‎ (Referring to HaskellDB)
• 15:25, 16 June 2006 (hist) (diff) 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 (hist) (diff) Applications and libraries/Database interfaces‎ (→Haskell Database Libraries: Adding link to CoddFIsh, thus initiating a CoddFish HaskellWiki page)
• 14:56, 16 June 2006 (hist) (diff) Attribute grammar‎ (→Tools: Adding link to Attribute Grammar Support for Happy (also from the Communities and Activities Report))
• 11:24, 16 June 2006 (hist) (diff) m Lucid‎ (→Fast-food: small rephrasings at the explanatory texts of the ``moving average'' example)
• 10:59, 16 June 2006 (hist) (diff) 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 (hist) (diff) m Arrow‎ (typographic correction and formatting list)
• 18:00, 14 June 2006 (hist) (diff) 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 (hist) (diff) Arrow‎ (→Parser: The symmetric figure in Wikibooks' Programming:Haskell_arrows article suggests abstracting away side effect order)
• 12:44, 14 June 2006 (hist) (diff) m Arrow‎ (→Parser: formatting link)
• 12:41, 14 June 2006 (hist) (diff) m Arrow‎ (→Parser: Not an announcement (of an official release), just a short reference)
• 11:02, 14 June 2006 (hist) (diff) Arrow‎ (→Parser: Mor precise citing on the source of the new arrow parse implementation)
• 10:59, 14 June 2006 (hist) (diff) Arrow‎ (→Parser: Another arrow parser implementation written by Antti-Juhani Kaijanaho)
• 10:29, 14 June 2006 (hist) (diff) Arrow‎ (→Introduction: Wikibooks article, conveyor belt metaphor for arrows)
• 23:27, 13 June 2006 (hist) (diff) 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 (hist) (diff) m Arrow‎ (→Parser: Grammatical correction at the explanatory text describing sequencing order of computations (side effects))
• 23:08, 13 June 2006 (hist) (diff) m Arrow‎ (Streesing that binary relations are a _counterexample_ for sequencing effects)
• 23:01, 13 June 2006 (hist) (diff) 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 (hist) (diff) Arrow‎ (Add definition of &&& (broadcast, fan-out) for binary relations, as a counterexample for importance of side-effect order)
• 20:29, 13 June 2006 (hist) (diff) m Arrow‎ (spell-check with ispell)
• 01:15, 13 June 2006 (hist) (diff) 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 (hist) (diff) Arrow‎ (Magnus Carlsson's name and homepage)
• 01:00, 13 June 2006 (hist) (diff) 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 (hist) (diff) Research papers/Monads and arrows‎ (→Applications of arrows: Fix broken link for Magnus Carlsson's ProdArrows -- Arrows for Fudgets)
• 21:27, 12 June 2006 (hist) (diff) m Arrow‎ (→Parser: Some rephrasing)
• 21:21, 12 June 2006 (hist) (diff) 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) (top)
• 19:10, 12 June 2006 (hist) (diff) Arrow‎ (→Parser: Example quoted from Ross Paterson's A New Notation for Arrows)
• 15:26, 12 June 2006 (hist) (diff) m Arrow‎ (``between'' example: expaining text rephrased)
• 15:22, 12 June 2006 (hist) (diff) Arrow‎ (→Parser: Another example for non-commutativeness of &&& is the ``between'' parser combinator)
• 15:16, 12 June 2006 (hist) (diff) m Arrow‎ (→Parser: adding more precise reference to the ``sepBy1'' example)
• 15:09, 12 June 2006 (hist) (diff) m Arrow‎ (→Parsers: Giving precise reference where the PArrows examplesare citated from (module name, full hierarchical name))
• 15:02, 12 June 2006 (hist) (diff) Arrow‎ (→Parser: Another example (sepBy1) to illustrate, that &&& is not (necessarily) commutative)
• 14:36, 12 June 2006 (hist) (diff) Arrow‎ (→Parser: PArrows example for how state (here: stream) is threaded through the operands of &&& operation)
• 10:39, 12 June 2006 (hist) (diff) Arrow‎ (→Practice: when it is worth of using arrows instead of monads -- link)
• 10:20, 12 June 2006 (hist) (diff) m Lucid‎ (→Fast-food: MIssing line of the table: the 3rd snapshot was missing in the ``moving average'' example)
• 02:57, 12 June 2006 (hist) (diff) Arrow‎ (→Parser: Explaining term ``differential'', when writing on arrow parsers)
• 22:16, 11 June 2006 (hist) (diff) Base package‎ (Adding Arrow) (top)
• 22:10, 11 June 2006 (hist) (diff) Arrow‎ (→Parser: Using term ``differential'' to express a subjective impression on arrow parsers)
• 21:50, 11 June 2006 (hist) (diff) Lucid‎ (→Fast food: Comment on the generality of Lucid, because the ``moving average'' example is somewhat too special)
• 21:45, 11 June 2006 (hist) (diff) m Lucid‎ (→Fast-food: Rephrase comments on syntax of Lucid code example, using term ``didactic intermediate syntax'')
• 21:41, 11 June 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) m Lucid‎ (→Fast-food: Formatting the header line of the table)
• 21:15, 11 June 2006 (hist) (diff) Lucid‎ (A table explaining the concept of ``running average'' by an example)
• 20:57, 11 June 2006 (hist) (diff) m Lucid‎ (grammatic correction (German word order corrected) and some words on the Lucid code example)
• 20:50, 11 June 2006 (hist) (diff) m Arrow‎ (Better characterization of the ``Lazy K'' pure lazy functional programming language)
• 19:50, 11 June 2006 (hist) (diff) Category theory‎ (→Foundations: : two links how category theory concepts are present in Haskell programming)
• 18:32, 11 June 2006 (hist) (diff) m Lucid‎ (typographic crrection)
• 18:32, 11 June 2006 (hist) (diff) Lucid‎ (→Implementation: : gets new subsections - →Fast-food: , - →Arrow: , - →Comonad: , and add a link to a comonad page)
• 18:13, 11 June 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) Arrow‎ (→Automaton: Referring to Wikipedia articles (Finite state machine) and (Automata theory))
• 17:44, 11 June 2006 (hist) (diff) Arrow‎ ((1) - →Library: : a) the standard library Control.Arrow b) and also an extension, too. (2) - →Examples: introductory text)
• 17:21, 11 June 2006 (hist) (diff) Arrow‎ (Better structure and more links)
• 16:20, 11 June 2006 (hist) (diff) 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 (hist) (diff) Separation of concerns‎ (Categorizing under Category:Idioms)
• 16:13, 11 June 2006 (hist) (diff) m Arrow‎ (Using {{Standard class ...}} template for arrows)
• 16:09, 11 June 2006 (hist) (diff) 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 (hist) (diff) Arrow‎ (→Introduction: links copied from Books and tutorials/Using Arrows)
• 15:47, 11 June 2006 (hist) (diff) m Books‎ (→Using Arrows: ArrowsIntroduction is a Monad.Reader article, not a HaWiki contribution)
• 15:38, 11 June 2006 (hist) (diff) m Books‎ (→Using Monads: gives a link to Monad HaskellWiki page)
• 15:34, 11 June 2006 (hist) (diff) Books‎ (→Using Arrows: Add one more HaWiki article on arrows, and refer to the separate Arrow HaskellWiki page)
• 15:28, 11 June 2006 (hist) (diff) m Attribute grammar‎ (Initiating new page Separation of concerns)
• 15:23, 11 June 2006 (hist) (diff) m Lucid‎ (grammar correction)
• 15:22, 11 June 2006 (hist) (diff) Lucid‎ (→Implementation: A Lucid example (moving average) which is tested by the fast-food implementation)
• 14:53, 11 June 2006 (hist) (diff) m Lucid‎ (typographic corrections)
• 14:45, 11 June 2006 (hist) (diff) Lucid‎ (Link to a dataflow programming paper based on the concept of comonads)
• 14:27, 11 June 2006 (hist) (diff) m Lucid‎ ((1) typographic corrections (2) formatting word arrow as link to Arrow page)
• 14:25, 11 June 2006 (hist) (diff) Lucid‎ (→Introduction: and /Details*/: good introductory materials, and a detailed language description on this dataflow programming language)
• 13:46, 11 June 2006 (hist) (diff) Lucid‎ (Having moved Lucid material from Arrow)
• 13:45, 11 June 2006 (hist) (diff) 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 (hist) (diff) Image:Test.lhs‎ (Testing Lucid prograaming language implementation by straightforward examples) (top)
• 13:33, 11 June 2006 (hist) (diff) Image:Lucid.lhs‎ (Mimick dataflow programming in a way as approached in Lucid language) (top)
• 13:32, 11 June 2006 (hist) (diff) Arrow‎ (→Introducton: and - →Examples: : most important introductory materials and examples: arrow parser, mimicking dataflow programming)
• 12:40, 11 June 2006 (hist) (diff) Attribute grammar‎ (→Separation of concerns: connections between monads, arrows and attribute grammars)
• 12:27, 11 June 2006 (hist) (diff) Attribute grammar‎ (Having moved description of Swiestra's ``Why Attribute Grammars Matter'' article from Circular programming to here)
• 12:24, 11 June 2006 (hist) (diff) Circular programming‎ (Moving description of Swiestra's ``Why Attribute Grammars Matter'' article to Attribute grammar)
• 20:15, 7 June 2006 (hist) (diff) m Mathematics‎ (one typogrphic correction left out)
• 20:14, 7 June 2006 (hist) (diff) m Mathematics‎ (Type-check with ispell, somewhat better phrases, a little more detail in an example)
• 11:35, 7 June 2006 (hist) (diff) m Attribute grammar‎ (/*Related concepts/* More precise location of a link)
• 11:28, 7 June 2006 (hist) (diff) m Mathematics‎ (Formatting word (a title) better)
• 11:24, 7 June 2006 (hist) (diff) Mathematics‎ (→General: Adding link to Wikipedia's Mathematics article, and some words about it)
• 10:52, 7 June 2006 (hist) (diff) m Mathematics‎ (Forgotten link to online book)
• 10:44, 7 June 2006 (hist) (diff) Mathematics‎ (→General: G.J. Chaitin: ``The Unknowable''. Copying link from Combinatory logic#Self-replication, quines, reflective programming)
• 10:37, 7 June 2006 (hist) (diff) Mathematics‎ (Categorizing under Category:Theoretical foundations)
• 10:35, 7 June 2006 (hist) (diff) Mathematics‎ (→General: Paul Taylor: Practical Foundations of Mathematics. - →Topics: : reference to various branches of mathematics)
• 10:29, 7 June 2006 (hist) (diff) m Books‎ (→Foundations: referring to newborn page Mathematics)
• 10:22, 7 June 2006 (hist) (diff) 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 (hist) (diff) m Category theory‎ (Table of contents)
• 10:14, 7 June 2006 (hist) (diff) m Attribute grammar‎ (Formatting word ``catamorphism'' as a link to Category theory)
• 10:11, 7 June 2006 (hist) (diff) Category theory‎ (→Foundations: Copying reference of Toposes, Triples and Theories from Books and tutorials#Foundations here)
• 10:08, 7 June 2006 (hist) (diff) m Books‎ (It seems that category pages cannot linked indirectly because of their special meaning. Linking Special:Categories instead.)
• 10:02, 7 June 2006 (hist) (diff) m Books‎ (→Foundations: referring to Category:Theoretical foundations category.)
• 09:49, 7 June 2006 (hist) (diff) Category theory‎ (Including Books and tutorials#Categorical programming into here.)
• 09:43, 7 June 2006 (hist) (diff) Books‎ (Moving contents of - →Categorical programming: to a newborn page Category theory#Categorical programming)
• 15:46, 5 June 2006 (hist) (diff) m Circular programming‎ (typographic correction)
• 15:40, 5 June 2006 (hist) (diff) m Attribute grammar‎ (→Related concepts: a new section, linking back to Circular programming)
• 15:35, 5 June 2006 (hist) (diff) m Attribute grammar‎ (Table of contents)
• 15:32, 5 June 2006 (hist) (diff) m Combinatory logic‎ (Other links updated)
• 15:30, 5 June 2006 (hist) (diff) m Combinatory logic‎ (Update a link because of the newly crated page Attribute grammar)
• 15:24, 5 June 2006 (hist) (diff) Circular programming‎ (Structuring contents: (1) adding table-of-contents (2) splitting the material to more sections)
• 15:04, 5 June 2006 (hist) (diff) 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 (hist) (diff) m Attribute grammar‎ (typographic correction)
• 14:01, 5 June 2006 (hist) (diff) Attribute grammar‎ (Including contents from Books and tutorials#Attribute grammars, with straightforward modifications (some links are updates))
• 13:56, 5 June 2006 (hist) (diff) Books‎ (→Attribute grammars: : moving its content to the Attribute grammar page)
• 13:36, 5 June 2006 (hist) (diff) Circular programming‎ ((1) Link to HaWiki's CircularProgramming (2) Initiating Attribute grammar page)
• 13:31, 5 June 2006 (hist) (diff) m Turing machine‎ (Initiating a Circular programming page)
• 02:01, 30 May 2006 (hist) (diff) m Turing machine‎ (In - →Tagging structure: section: format the word CPS as a link to the Continuation page)
• 14:42, 25 May 2006 (hist) (diff) m Help talk:Contents‎ (Remove dummy edit)
• 14:41, 25 May 2006 (hist) (diff) 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 (hist) (diff) 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)

(Latest | Earliest) View (newer 500) (older 500) (20 | 50 | 100 | 250 | 500)