User contributions

(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)

• 09:58, 17 July 2012 (diff | hist) . . (-1)‎ . . m Template:Main/Events ‎ (Move "ICFP Programming Contest 2012" from →‎Upcoming Events: to →‎Recent Events)
• 11:41, 12 July 2012 (diff | hist) . . (0)‎ . . m Template:Main/Events ‎ (swap order at the new inserted item)
• 11:39, 12 July 2012 (diff | hist) . . (+85)‎ . . Template:Main/Events ‎ (ICFP Programming Contest 2012)
• 06:46, 10 December 2010 (diff | hist) . . (-6)‎ . . m Arrow ‎ (Updating link)
• 12:21, 24 May 2009 (diff | hist) . . (-6)‎ . . m Template:Main/Events ‎ (More relevant imformation emphasized)
• 12:20, 24 May 2009 (diff | hist) . . (-9)‎ . . m Template:Main/Events ‎ (shorten)
• 12:19, 24 May 2009 (diff | hist) . . (+21)‎ . . m Template:Main/Events ‎ (Capitalize)
• 12:19, 24 May 2009 (diff | hist) . . (-5)‎ . . m Template:Main/Events ‎ (typo)
• 12:17, 24 May 2009 (diff | hist) . . (+87)‎ . . Template:Main/Events ‎ (ICFP Programming Contest 2009)
• 21:34, 14 March 2009 (diff | hist) . . (+143)‎ . . Chaitin's construction ‎ (``Workpage template'', warning about missing substantial details) (current)
• 13:52, 5 July 2008 (diff | hist) . . (-1)‎ . . m Chaitin's construction ‎ (grammar: singular)
• 13:46, 5 July 2008 (diff | hist) . . (+172)‎ . . 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 (diff | hist) . . (-6)‎ . . m Template:Main/Events ‎ (rm year)
• 02:54, 17 June 2008 (diff | hist) . . (+10)‎ . . Template:Main/Events ‎ (Rm redundance from date, giving hours instead)
• 02:51, 17 June 2008 (diff | hist) . . (0)‎ . . Template:Main/Events ‎ (Swap two items)
• 02:50, 17 June 2008 (diff | hist) . . (+188)‎ . . Template:Main/Events ‎ (ICFP Programming Contest 2008)
• 11:26, 13 August 2007 (diff | hist) . . (-2)‎ . . m Zipper ‎ (mixed terms)
• 11:24, 13 August 2007 (diff | hist) . . (+223)‎ . . Zipper ‎ (Moving from hole towards root is an independent idea)
• 21:00, 7 August 2007 (diff | hist) . . (+171)‎ . . Relational algebra ‎ (→‎Other links: The λ Abroad. A Functional Approach To Software Components by Daniel Johannes Pieter Leijen)
• 20:28, 20 July 2007 (diff | hist) . . (+122)‎ . . Zipper ‎ (Notion of "hole" mentioned)
• 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) (current)
• 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) . . (0)‎ . . m Libraries and tools/Linguistics/Applicative universal grammar ‎ (Applicative universal grammar moved to Libraries and tools/Linguistics/Applicative universal grammar)
• 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) (current)
• 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) . . (0)‎ . . m Prelude extensions ‎ (Prelude Extensions moved to Prelude extensions)
• 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.) (current)
• 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)

(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)