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