User contributions
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 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) (current)
- 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)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)