User contributions
Jump to navigation
Jump to search
- 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
- 12:34, 16 April 2007 diff hist 0 m Attribute grammar typos
- 12:32, 16 April 2007 diff hist +462 Attribute grammar FNC-2 System
- 11:30, 29 March 2007 diff hist +75 Applications and libraries/Linguistics →Natural language processors (and generators): Eric Kow's recent publications on GenI
- 23:43, 25 March 2007 diff hist +263 Continuation →Applications: Oleg Kiselyov's ZipperFS
- 23:39, 25 March 2007 diff hist +46 m Zipper Add table-of-contents, remove self-referent link, add more inner links
- 23:35, 25 March 2007 diff hist +226 Zipper →Applications: ZipperFS
- 23:31, 25 March 2007 diff hist +21 m Applications and libraries/Operating system →Filesystems: Linkify Zipper and Continuation
- 02:46, 22 February 2007 diff hist -1 m Applications and libraries/Compilers and interpreters →QML, a functional quantum programming language: typos
- 02:44, 22 February 2007 diff hist +399 Applications and libraries/Compilers and interpreters →QML. a functional quantum programming language: QML: A Functional Quantum Programming Language] project. It is implemented in Haskell
- 22:12, 21 February 2007 diff hist +154 Zipper →Further reading: Haskell/Zippers on Wikibooks
- 22:08, 21 February 2007 diff hist +68 Arrow →Functional I/O, graphical user interfaces: FG, Phooey
- 22:05, 21 February 2007 diff hist +64 Arrow →Library: arrows package
- 21:57, 21 February 2007 diff hist +76 Arrow →External links: Haskell/Arrows]on Wikibooks
- 21:55, 21 February 2007 diff hist +19 m Arrow some Wikipedia conventions
- 15:34, 20 February 2007 diff hist -37 m WxHaskell remove accidental repetition of copy-paste
- 15:33, 20 February 2007 diff hist -28 m WxHaskell Merge in a single item the pdf and ppt versions of slides Koen Lindström Claessen: Graphical User Interfaces in Haskell
- 15:27, 20 February 2007 diff hist +27 m WxHaskell →External links: Correction of the title. Koen Lindström Claessen: Graphical User Interfaces in Haskell], slides (pdf)
- 15:23, 20 February 2007 diff hist +124 WxHaskell Koen Lindström Claessen: WxHaskell slides (pdf)
- 15:18, 20 February 2007 diff hist +325 WxHaskell →External links: Advanced Functional Programming / WxHaskell], a portal like page
- 15:10, 20 February 2007 diff hist +18 m WxHaskell →External links: file types: pdf, ppt...
- 15:08, 20 February 2007 diff hist +133 WxHaskell →External links: Koen Lindström Claessen: Graphical User Interfaces in Haskell
- 15:00, 20 February 2007 diff hist +99 WxHaskell Wei Tan: GUI Programming with wxHaskell
- 14:03, 20 February 2007 diff hist +154 WxHaskell →External link: Daan Leijen: wxHaskell / A Portable and Concise GUI Library for Haskell
- 00:54, 19 February 2007 diff hist -1 m Applications and libraries/GUI libraries The section link is no longer valid. Updated for WxHaskell
- 16:23, 13 December 2006 diff hist +2 Applications and libraries/Linguistics ToC hierarchy
- 16:22, 13 December 2006 diff hist -16 Applications and libraries/Linguistics Delete {{Main}} template
- 16:20, 13 December 2006 diff hist +306 Applications and libraries/Linguistics →Continuations in natural languages: paper
- 16:15, 13 December 2006 diff hist +116 Continuation →Linguisitcs: Continuations in Natural Language
- 12:40, 4 December 2006 diff hist -2 m Applications and libraries/Linguistics format
- 12:39, 4 December 2006 diff hist +333 Applications and libraries/Linguistics A Survey on the Use of Haskell in Natural-Language Processing (Report by Richard A. Frost)
- 16:18, 10 November 2006 diff hist -20 m Zipper Typo
- 16:17, 10 November 2006 diff hist +60 m Zipper →Further reading: Fix link
- 16:16, 10 November 2006 diff hist +203 Zipper →Furtherreading: Infinitesimal types. Derivative for types
- 08:39, 27 October 2006 diff hist +1 m Continuation →External links: typographic correction
- 08:37, 27 October 2006 diff hist +146 Continuation →External links: The appropriate section of Haskell: Functional Programming with Types (WikiBooks version)
- 08:14, 27 October 2006 diff hist +571 User talk:Ashley Y →Deletion of Continuation passing style
- 07:56, 27 October 2006 diff hist -32 Continuation passing style Creation of this page was an accident. Deleting this page
- 07:47, 27 October 2006 diff hist +32 N Continuation passing style →See also: Continuation
- 07:45, 27 October 2006 diff hist +268 Continuation Hal Daume III's Yet Another Haskell Tutorial has a section on continuation passing style. Because of its having been wikified, it can be referred to directly
- 09:30, 22 October 2006 diff hist +233 Recursive function theory →Recursive functions: ``Homogenous'' version of generalized composition
- 11:27, 11 October 2006 diff hist +314 Literate programming →Shuffle: A tool extending lhs2TeX's capabilities
- 12:10, 10 October 2006 diff hist +1 m Dependent type /Qi*/ Typographic correction
- 12:09, 10 October 2006 diff hist +506 Dependent type →Qi: and Blaise: Lisp-based languages with dependent types
- 23:46, 9 October 2006 diff hist +2 m Continuation Small formatting, + typographical correction
- 23:43, 9 October 2006 diff hist +224 Continuation Add link to Continuatons section of article ``Functional Programming For The Rest of Us'', an introductory material to functional programming.
- 15:30, 5 October 2006 diff hist +3 m Category theory/Natural transformation →Functor and natural transformation: “zero-or-one-or-many-occurrences” - parser of list of things
- 15:26, 5 October 2006 diff hist +34 m Category theory/Natural transformation Fix incorrect pairing of parantheses
- 12:14, 5 October 2006 diff hist +128 Category theory/Natural transformation →External links: Toposes, Triples and Theories written by Michael Barr and Charles Wells.
- 11:01, 5 October 2006 diff hist -1 m Category theory/Natural transformation Spell-check with ispell
- 14:17, 4 October 2006 diff hist 0 m Category theory/Natural transformation Fix broken section-link