User contributions
Jump to navigation
Jump to search
- 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
- 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