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