User contributions
Jump to navigation
Jump to search
- 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
- 22:37, 22 August 2006 diff hist +299 Darcs Adding other Darcs-related talks, slides. Mentioning slides ``The Myth and Reality of using Haskell in the Real World'' separately because of its more general Haskell-related topic
- 14:35, 22 August 2006 diff hist +404 Darcs →External link: Mentioning David Roundy's slides ``Implementing the darcs patch formalism and verifying it'' (see also GADT#Projects containing GADTs article)
- 17:06, 20 August 2006 diff hist +70 m Applications and libraries/Genetic programming Better introductory text on the ant evolution case study
- 08:27, 20 August 2006 diff hist +327 Applications and libraries/Genetic programming Adding link to Måns Vestin: Genetic algorithms in Haskell with polytypic programming. Some words on it.
- 16:04, 19 August 2006 diff hist +100 m Lojban More general introductory text
- 15:57, 19 August 2006 diff hist +208 m Lojban →Meta vs object language: Introductory text + small formattings, rephrasings
- 13:28, 19 August 2006 diff hist +12 m Lojban →Meta vs object language: A better informal notation for ``quoatations'' in quines
- 13:25, 19 August 2006 diff hist +792 Lojban →Meta vs object language: Solving problem of ``quotation'' when writing a quine in combinatory logic
- 03:52, 19 August 2006 diff hist -5 m Lojban →Meta vs object language: More concise and clear rephrasing + some typographic corrections
- 03:48, 19 August 2006 diff hist +718 Lojban →Meta vs object language: Didactical relevance?