User contributions for EndreyMark
A user with 799 edits.
17 July 2012
- 09:5809:58, 17 July 2012 diff hist −1 m Template:Main/Events Move "ICFP Programming Contest 2012" from →Upcoming Events: to →Recent Events
12 July 2012
- 11:4111:41, 12 July 2012 diff hist 0 m Template:Main/Events swap order at the new inserted item
- 11:3911:39, 12 July 2012 diff hist +85 Template:Main/Events ICFP Programming Contest 2012
10 December 2010
- 06:4606:46, 10 December 2010 diff hist −6 m Arrow Updating link
24 May 2009
- 12:2112:21, 24 May 2009 diff hist −6 m Template:Main/Events More relevant imformation emphasized
- 12:2012:20, 24 May 2009 diff hist −9 m Template:Main/Events shorten
- 12:1912:19, 24 May 2009 diff hist +21 m Template:Main/Events Capitalize
- 12:1912:19, 24 May 2009 diff hist −5 m Template:Main/Events typo
- 12:1712:17, 24 May 2009 diff hist +87 Template:Main/Events ICFP Programming Contest 2009
14 March 2009
- 21:3421:34, 14 March 2009 diff hist +143 Chaitin's construction ``Workpage template'', warning about missing substantial details
5 July 2008
- 13:5213:52, 5 July 2008 diff hist −1 m Chaitin's construction grammar: singular
- 13:4613: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
17 June 2008
- 02:5702:57, 17 June 2008 diff hist −6 m Template:Main/Events rm year
- 02:5402:54, 17 June 2008 diff hist +10 Template:Main/Events Rm redundance from date, giving hours instead
- 02:5102:51, 17 June 2008 diff hist 0 Template:Main/Events Swap two items
- 02:5002:50, 17 June 2008 diff hist +188 Template:Main/Events ICFP Programming Contest 2008
13 August 2007
- 11:2611:26, 13 August 2007 diff hist −2 m Zipper mixed terms
- 11:2411:24, 13 August 2007 diff hist +223 Zipper Moving from hole towards root is an independent idea
7 August 2007
- 21:0021: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 July 2007
- 20:2820:28, 20 July 2007 diff hist +122 Zipper Notion of "hole" mentioned
19 July 2007
- 21:4821: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:3521:35, 19 July 2007 diff hist +14 m Zipper "plug" is used in the literature for filling the hole in
- 09:3909:39, 19 July 2007 diff hist +36 m Zipper Agreement of number: both be plural, or both be singular
- 09:2609:26, 19 July 2007 diff hist +24 m Zipper resolve another ambiguity, borders of scopes better expressed
- 09:2109:21, 19 July 2007 diff hist +8 m Zipper resolve ambiguity
- 09:1709:17, 19 July 2007 diff hist +16 m Zipper 66-99-style quotation marks (“”), instead of ASCII-style "s
- 09:0209:02, 19 July 2007 diff hist +139 Zipper "Mounting" a tree into a context: representation of tree with marked subtree (focus)
- 08:5808:58, 19 July 2007 diff hist +12 m Zipper syntax of image inserting
- 08:5608: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:5508: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:4908:49, 19 July 2007 diff hist +58 Zipper Image: "mounting" subtree into context
- 08:0808: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
17 July 2007
- 16:3916:39, 17 July 2007 diff hist +139 m Zipper →Automation: Add a similar paper
- 13:5813: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:5313: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:3812:38, 17 July 2007 diff hist +3 m Zipper better intro for a sentence
- 12:3612:36, 17 July 2007 diff hist +23 m Zipper Using term "focus"
- 11:0411:04, 17 July 2007 diff hist +92 Continuation →External links: Continuations.html Continuations and delimited control
- 11:0111:01, 17 July 2007 diff hist +13 m Zipper →Further reading: Scope of quotation
- 10:5910:59, 17 July 2007 diff hist +225 Continuation →See also: extended to →Delimited continuation
- 10:5310:53, 17 July 2007 diff hist +1 m Zipper →Further reading: typo
- 10:5210:52, 17 July 2007 diff hist −1 m Zipper →Further reading: typo
- 10:5110:51, 17 July 2007 diff hist +216 Zipper →Futher reading: , about the zippers and delimited continuations
- 10:3810:38, 17 July 2007 diff hist +88 Continuation →See also: Delimited continuation, Zipper
- 10:3310:33, 17 July 2007 diff hist +19 m Zipper →Application: There is a HaskellWiki article on delimited continuations, providing a link there
16 July 2007
- 11:5611:56, 16 July 2007 diff hist +94 m Help:Editing (1) Small stylistical correction (2) small conclusion/summary part
15 July 2007
- 19:0419:04, 15 July 2007 diff hist +2 m Help:Editing Long hyphen as symbol — and not as --
- 17:1317:13, 15 July 2007 diff hist +16 m Help:Editing clarify
- 17:1117:11, 15 July 2007 diff hist +59 m Help:Editing clarify
- 17:0717:07, 15 July 2007 diff hist −6 m Help:Editing grammatical corrections