User contributions
Jump to navigation
Jump to search
- 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?
- 03:14, 19 August 2006 diff hist +296 Lojban →References: The Complete Lojban Language / The Lojban Reference Grammar
- 16:13, 17 August 2006 diff hist +4 m Turing machine →Search: State name misspelled
- 16:08, 17 August 2006 diff hist +2,872 Turing machine →Search: : Modularizing Monk's ``left seek 0'': let us not exlude the starting from the process of search
- 14:56, 17 August 2006 diff hist +216 m Recursive function theory Mentioning Kleene's s^m_n theorem in the context of currying
- 14:40, 17 August 2006 diff hist +1 m Turing machine Dummy edit: ``blank'' versus ``Letter *''
- 14:38, 17 August 2006 diff hist 0 m Turing machine blank vs Letter 1 instead of 0 vs 1 or blank vs letter 1
- 14:08, 17 August 2006 diff hist +4,693 Turing machine →Examples: for Turing machine descriptions (``program source code samples''): →Simple moves: and →Simple rewritings: , see Monk T_right, T_left, T_0, T_1
- 23:50, 10 August 2006 diff hist +130 m Combinatory logic Mentioning other solutions (which are just mentioned, because they are more complicated)
- 23:35, 10 August 2006 diff hist +918 Combinatory logic →Maybe2: Defining Maybe2 datatype (found in an old Hugs library) in CL
- 20:57, 8 August 2006 diff hist +1 m Lojban typographic correction