User contributions
From HaskellWiki
(Latest | Earliest) View (newer 100) (older 100) (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)
(Latest | Earliest) View (newer 100) (older 100) (20 | 50 | 100 | 250 | 500)
