User contributions
Jump to navigation
Jump to search
- 21:48, 19 July 2007 diff hist -14 m Zipper "plugging" means something different (it returns a (simple) tree, not a tree with focus), thus not mentioning it here
- 21:35, 19 July 2007 diff hist +14 m Zipper "plug" is used in the literature for filling the hole in
- 09:39, 19 July 2007 diff hist +36 m Zipper Agreement of number: both be plural, or both be singular
- 09:26, 19 July 2007 diff hist +24 m Zipper resolve another ambiguity, borders of scopes better expressed
- 09:21, 19 July 2007 diff hist +8 m Zipper resolve ambiguity
- 09:17, 19 July 2007 diff hist +16 m Zipper 66-99-style quotation marks (“”), instead of ASCII-style "s
- 09:02, 19 July 2007 diff hist +139 Zipper "Mounting" a tree into a context: representation of tree with marked subtree (focus)
- 08:58, 19 July 2007 diff hist +12 m Zipper syntax of image inserting
- 08:56, 19 July 2007 diff hist +102 N File:Mount-op12cl-34.png Subtree (1 2) "mounted" into context (@ (3 4)). Made by own hands with GIMP and LaTeX's qtree package. current
- 08:55, 19 July 2007 diff hist +99 N File:Circum-op12cl-34.png Tree ((1 2) (3 4)) with left subtree marked. Made by own hands with GIMP and LaTeX's qtree package. current
- 08:49, 19 July 2007 diff hist +58 Zipper Image: "mounting" subtree into context
- 08:08, 19 July 2007 diff hist +147 Zipper Mentionong, that solutions for binary trees, arbitrary-branches-trees can be regarded as special cases of a more general soution
- 16:39, 17 July 2007 diff hist +139 m Zipper →Automation: Add a similar paper
- 13:58, 17 July 2007 diff hist +167 Zipper →Comonads and monads: Another comonadic zipper article: Evaluating cellular automata is comonadic, part of Sigfpe's A Neighborhood of Infinity
- 13:53, 17 July 2007 diff hist +617 Zipper →Comonads and monads: related external links (Tarmo Uustalu's papers and an article from A Neighborhood of Infinity)
- 12:38, 17 July 2007 diff hist +3 m Zipper better intro for a sentence
- 12:36, 17 July 2007 diff hist +23 m Zipper Using term "focus"
- 11:04, 17 July 2007 diff hist +92 Continuation →External links: Continuations.html Continuations and delimited control
- 11:01, 17 July 2007 diff hist +13 m Zipper →Further reading: Scope of quotation
- 10:59, 17 July 2007 diff hist +225 Continuation →See also: extended to →Delimited continuation