User contributions
Jump to navigation
Jump to search
- 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
- 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
- 20:54, 8 August 2006 diff hist +553 Lojban zo'e, a place-keeper argument -- analogy with notion of zero in number decimal representation
- 13:52, 8 August 2006 diff hist +1 m Lojban The order of arguments in the predicate corrected
- 13:35, 8 August 2006 diff hist +4 m Lojban Using ``I, me'' instead of ``I'' in the vocabulary
- 13:34, 8 August 2006 diff hist +184 m Lojban Some comments, rephrasings + spell-check with ispell
- 11:38, 8 August 2006 diff hist +196 m Lojban Analogy between passive voice in Lojban expressed by ``se'' predicate modifiier to combinator C
- 22:05, 7 August 2006 diff hist +611 Lojban →Others: Haskell and Lojban -- link to a discussion (with articles) on motivations wgy people choose (``adopti') a (programming or other) language
- 21:38, 7 August 2006 diff hist +7 m Applications and libraries/Linguistics Fixing link
- 21:37, 7 August 2006 diff hist -10 m Applications and libraries/Linguistics Wikipedia atricle on Lojban can be reached from the newly created Lojban HaskellWiki page,, so the link is confusing here
- 21:27, 7 August 2006 diff hist +483 Lojban →Repeating: Even more combinators, modifying directly the predicate, not arbitrary subexpression of the sentence
- 20:44, 7 August 2006 diff hist +10 m Lojban Rephrasing a typographic corrections
- 20:39, 7 August 2006 diff hist +1,040 Lojban →Repeating: Useing combinator W_(2), the deferred version of elementary duplicator W
- 20:07, 7 August 2006 diff hist 0 m Lojban Two personal pronouns mixed
- 20:05, 7 August 2006 diff hist +41 m Lojban →References: Reformatting
- 20:03, 7 August 2006 diff hist +5,231 N Lojban Lojban analogies of C and W combinators of combinatry logic
- 19:38, 7 August 2006 diff hist +81 Applications and libraries/Linguistics →Natural language processing and combinatory logic: Small introductory text
- 17:40, 7 August 2006 diff hist -20 m Applications and libraries/Linguistics →Other linguistics-related resources: Initiating separate page for Lojban
- 17:36, 7 August 2006 diff hist +570 Combinatory logic →Applications: Mentioning artificial language ``Lojban'' and its possible relatedness to combinatory logic
- 00:10, 7 August 2006 diff hist +428 Chaitin's construction →Eliminating any concept of code by handling [[combinatory logic]] terms directly: Heuristical steps
- 22:53, 5 August 2006 diff hist +6 m Chaitin's construction Chaitin's constructION
- 22:51, 5 August 2006 diff hist +191 Chaitin's construction →Table for small legths: illustrating the normal number property of Chaitin's construct
- 21:50, 5 August 2006 diff hist +310 Chaitin's construction →More natural norm functions (from CL terms): But Chaitin's constant is a normal number (as if its digits were generated by tossing a coin), and I want to preserve this
- 21:09, 5 August 2006 diff hist +47 Chaitin's construction →Table for small legths: Extending binary approximation of Omega to fit the code length
- 21:01, 5 August 2006 diff hist +123 Chaitin's construction →Table for simpler CL-terms: New column added: Omega approximated till now: mantissa binary (decimal)
- 20:22, 5 August 2006 diff hist -65 m Chaitin's construction →Table for simpler CL-terms: The table is easier to understand with this order of columns
- 20:16, 5 August 2006 diff hist 0 m Chaitin's construction →Table for simpler CL-terms: Headline renaming (earlier: ``Table for smaller CL-terms'')
- 20:14, 5 August 2006 diff hist +51 m Chaitin's construction →Table for smaller CL-terms: Short introductory text
- 20:10, 5 August 2006 diff hist +908 Chaitin's construction →Table for smaller CL-terms: with values for helping conjecture on a norm of CL-terms to constuct a ``probability of termination'' __among terms__, not strings
- 19:13, 5 August 2006 diff hist +661 Chaitin's construction →Table for small legths: exemplifying Chaitin's contruct for small cases
- 18:35, 5 August 2006 diff hist +262 m Computer science Adding link to Algorithmic information theory with small text explaining motivation
- 18:16, 5 August 2006 diff hist -2 Mathematics Double bulllets for list