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