User contributions
Jump to navigation
Jump to search
- 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
- 14:13, 4 October 2006 diff hist +581 Category theory/Natural transformation →Natural transformation and functor: Haskell example (coinciding with maybeToList)
- 12:32, 4 October 2006 diff hist +282 Category theory/Natural transformation →Definition: comes as first section, preceding example. A small redundace joins the descriptions of mathematical and the programming parts
- 10:01, 4 October 2006 diff hist +164 Category theory/Natural transformation + →Mixed: Mentioning how mixed operations will be used in definition of “monad” in category theory. Rephrasings
- 09:48, 4 October 2006 diff hist +701 Category theory/Natural transformation →Operations: Complete formal definitions
- 09:35, 4 October 2006 diff hist +180 m Category theory/Natural transformation Typographic cirections, rephrasing, more links
- 09:29, 4 October 2006 diff hist +373 Category theory/Natural transformation →Natural transformation and functor: Type inference “dissolves” the main point, thus there is no “materialized” manifestation of it in a Haskell program
- 09:17, 4 October 2006 diff hist +96 m Category theory/Natural transformation Better table-of-contents hierarchy
- 09:12, 4 October 2006 diff hist -36 m Category theory/Natural transformation Deleting empty environments, make more didactical order, typographic cirrectipons
- 09:08, 4 October 2006 diff hist +2,076 Category theory/Natural transformation New sections:→Operations: , beginning with →Functor and natural transformation: : example: fmapping parser on optional data to parser on listed data
- 16:23, 3 October 2006 diff hist +38 Category theory/Natural transformation Categorizing under Category:Theoretical foundations
- 16:19, 3 October 2006 diff hist +80 Category:Theoretical foundations The cited material is now online, so I linked it
- 14:46, 3 October 2006 diff hist +29 m Category theory/Natural transformation Commutative diagram is in D category
- 14:37, 3 October 2006 diff hist +694 Category theory/Natural transformation →Commutative diagram: Definition of notion ``natural transformation''
- 13:18, 3 October 2006 diff hist -1 Category theory/Natural transformation Fix broken link
- 13:17, 3 October 2006 diff hist +150 m Category theory/Natural transformation →Remarks: Link to source code
- 13:11, 3 October 2006 diff hist +73 N File:Natural transformation.tex Source code for commutative diagram image defining natural transformation current
- 13:07, 3 October 2006 diff hist +90 N File:Natural transformation.png Commutative diagram used to illustrate the definition of notion ``natural transfomration'' current
- 13:03, 3 October 2006 diff hist +38 Category theory/Natural transformation →Commutative diagram: Link to image
- 21:47, 2 October 2006 diff hist +3 m Category theory/Natural transformation for lists: map (or fmap), for Maybe's: fmap
- 20:36, 2 October 2006 diff hist 0 m Category theory/Natural transformation →External links: typographic correction
- 20:36, 2 October 2006 diff hist +337 Category theory/Natural transformation →External links: HaWiki article not migrated yet
- 20:26, 2 October 2006 diff hist +261 Category theory/Natural transformation →Commutative diagram: Notations
- 20:12, 2 October 2006 diff hist -7 m Category theory/Natural transformation Vertical arrows: sides of objects: rephrase non-scientific expression
- 20:10, 2 October 2006 diff hist +2 m Category theory/Natural transformation Fix empty line tricks at tables
- 20:05, 2 October 2006 diff hist +3 m Category theory/Natural transformation →Commutativity of the diagram: Format caption (no more a caption)
- 20:02, 2 October 2006 diff hist +117 Category theory/Natural transformation →Commutativity of diagram: More typings
- 19:49, 2 October 2006 diff hist 0 m Category theory/Natural transformation Order should suggest the correspondence between Haskell example and mathmatical formalism
- 19:45, 2 October 2006 diff hist +34 m Category theory/Natural transformation <math> environment
- 19:41, 2 October 2006 diff hist +434 m Category theory/Natural transformation Rephrasings
- 19:21, 2 October 2006 diff hist +201 Category theory/Natural transformation In fact, even has a more general type (Integral a => a -> Bool) than described here
- 19:12, 2 October 2006 diff hist +26 m Category theory/Natural transformation Better section structure
- 19:11, 2 October 2006 diff hist +1,847 N Category theory/Natural transformation maybeToList as an example
- 14:09, 23 September 2006 diff hist +420 Applications and libraries/Compiler tools The Packrat Parsing and Parsing Expression Grammars Page
- 12:09, 4 September 2006 diff hist +21 m Libraries and tools/Linguistics/Applicative universal grammar →To do: Rephrasing: some words added current
- 12:08, 4 September 2006 diff hist +168 Libraries and tools/Linguistics/Applicative universal grammar →To do: Short-term plans
- 23:05, 3 September 2006 diff hist +556 Libraries and tools/Linguistics/Applicative universal grammar →Bibliography: subsections: →Directly related resources: Shaumyan's 1985 book →Formal semantics: Lappin's book + a handbook
- 19:41, 3 September 2006 diff hist +159 Lojban →Introduction: Links to notions: Valency, applicative voice current
- 15:41, 3 September 2006 diff hist +37 m Lojban →Meta vs object language: Rephrasing introductory text more clearly
- 15:36, 3 September 2006 diff hist +1 m Lojban →Meta vs object language: Typographic correction
- 15:32, 3 September 2006 diff hist +839 Lojban Less modularized solution for using structural description names
- 22:15, 2 September 2006 diff hist +8 m Lojban →Introduction: Format terms ``a priori'' and ``a posteriori'' as italic, so that to avoid connotation with undefined article
- 20:53, 2 September 2006 diff hist 0 m Lojban Typographic correction
- 20:51, 2 September 2006 diff hist +188 Lojban →Meta vs object language: Reference to Tarski's selected papers ``Proof and truth''
- 20:39, 2 September 2006 diff hist +36 m Lojban →Meta vs object language: Mentioning Traski's “structural descriptive name” notion
- 02:20, 23 August 2006 diff hist 0 m Applications and libraries/Operating system Updating link (my sentence-style capitalization had made this link broken, now updated)
- 02:17, 23 August 2006 diff hist +24 m Research papers/Program development →Operating systems: Rephrasing link (to achieve similar effesct as Wikipedia's {{main|....}} ``main article'' template)
- 02:10, 23 August 2006 diff hist +93 m Research papers/Program development Link back to Libraries and tools/Operating system
- 02:03, 23 August 2006 diff hist +99 Applications and libraries/Operating system Link to Research papers/Program development#Operating Systems
- 22:43, 22 August 2006 diff hist +12 m Darcs Better formatting
- 22:41, 22 August 2006 diff hist +8 m Darcs (1) Assymmetric (6-9-shaped) quotation marks (2) Typographic corrections