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
- 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
- 18:15, 5 August 2006 diff hist +125 m Mathematics Link to Algorithmic information theory, with short text
- 17:58, 5 August 2006 diff hist -1 m Algorithmic information theory small rephrasing
- 17:57, 5 August 2006 diff hist +178 Algorithmic information theory (1): A link back to Chaitin's construction, (2): some introductory text annoting Chaitin's writings
- 17:52, 5 August 2006 diff hist +47 m Algorithmic information theory Adding (yet invisible) table of contents, and categorizing as Category:Theoretical foundations
- 17:50, 5 August 2006 diff hist +265 N Algorithmic information theory Wikipedia links and Chaitin's homepage
- 17:20, 5 August 2006 diff hist +44 m Chaitin's construction →Introduction: Initiating new page Algorithmic information theory
- 15:19, 5 August 2006 diff hist -15 m Chaitin's construction →More natural norm functions (from CL terms): Doing the same for another occurrence of the same mistake
- 15:17, 5 August 2006 diff hist -14 m Chaitin's construction Sign of ``identical as terms'' is inapprorate at defining a funtion (norm). Also a misstyping is corrected
- 15:10, 5 August 2006 diff hist +336 Chaitin's construction (1): Writing new subsection →Architecture: for section →Implementation: , (2): inserting new headline →User interface: before the bash examples
- 14:59, 5 August 2006 diff hist +4 m Chaitin's construction ``norm function OF ...'' is disambigous here, using ``FROM '' instead
- 14:57, 5 August 2006 diff hist +200 m Chaitin's construction →To do: points to →Implementation: and newly moved →More natural norm functions (from CL terms
- 14:45, 5 August 2006 diff hist +509 Chaitin's construction →To do: Explaining analogy between Mandelbrot softwares making conjectures on convergence and this program making conjecture on termination
- 13:39, 5 August 2006 diff hist +113 m Chaitin's construction →To do: Extending usage examples, and better option name
- 14:43, 4 August 2006 diff hist +33 Chaitin's construction →Implementation: Better section hierarchy
- 14:40, 4 August 2006 diff hist +241 Chaitin's construction Also this page refers to combinatory logic term modules. That was why I made a separate page for it (two references are enough for that)
- 14:34, 4 August 2006 diff hist +47 m Chaitin's construction/Combinatory logic table of contents and categorising under Category:Theoretical foundations current
- 14:33, 4 August 2006 diff hist +642 N Chaitin's construction/Combinatory logic Lifting section hierarchy
- 14:31, 4 August 2006 diff hist -555 Chaitin's construction/Parser Moving combinatory logic term modules to a separate pege current
- 14:21, 4 August 2006 diff hist +52 m Chaitin's construction Grammatical and typographic corrections
- 14:13, 4 August 2006 diff hist +322 Chaitin's construction →3 Eliminating any concept of code by handling combinatory logic terms direct: Clarifying the aim of this chapter
- 14:00, 4 August 2006 diff hist +2,154 Chaitin's construction Defining concept which do not use the notion of ``code''
- 13:11, 4 August 2006 diff hist +1,691 Chaitin's construction/Parser Moving text and modifying section hierarchy. Mentioning term generators
- 12:47, 4 August 2006 diff hist -1,004 Chaitin's construction Also other details go to the separate Chaitin's construction/Parser page
- 12:44, 4 August 2006 diff hist +2,699 N Chaitin's construction/Parser Receiving contents from the mentioned page, and adjusting its section hierarchy
- 12:41, 4 August 2006 diff hist -2,522 Chaitin's construction Not so important details come to a new Chaitin's construction/Parser page. Parsers are not necessary here, a good generator is enough
- 22:57, 3 August 2006 diff hist +17 m Chaitin's construction →Decoding: Changing term ``arrow parsers'' into a link to Arrow#Parser
- 22:43, 3 August 2006 diff hist +26 Chaitin's construction ``neverfailing'' is a better name for the combinator on parsers, which makes ``decode'' function total
- 22:26, 3 August 2006 diff hist +309 Chaitin's construction →Decoding: Referring to paper Monadic Parser Combinators, credit to Graham Hutton and Erik Meier
- 22:07, 3 August 2006 diff hist +4 m Chaitin's construction binding after parser |item|
- 22:02, 3 August 2006 diff hist +5 m Chaitin's construction rephrasing
- 21:59, 3 August 2006 diff hist +17 m Chaitin's construction LL(1) grammar, not LL(0)
- 21:51, 3 August 2006 diff hist +263 Chaitin's construction →Decoding: More clear distinction between LL(k) parser and LL(k) grammar
- 21:29, 3 August 2006 diff hist +24 m Chaitin's construction typographic corrections, rephrasings
- 21:10, 3 August 2006 diff hist +680 Chaitin's construction Rephrasings, annotations, and code examples for partial function approach and total function approach
- 17:29, 3 August 2006 diff hist 0 m Chaitin's construction Reaneming >>^ to >>@ (in the sense of liftM2 apply), because arrows use also symbol >>^ in another sense (p >>^ f = p >>> arr f)
- 17:11, 3 August 2006 diff hist +46 m Chaitin's construction Small rephrasing of headlines
- 17:06, 3 August 2006 diff hist +26 m Chaitin's construction Small corrections
- 17:02, 3 August 2006 diff hist +127 m Chaitin's construction Fixing import/export lists of modules
- 16:48, 3 August 2006 diff hist +1,825 Chaitin's construction Defining decode function in Haskell
- 14:01, 3 August 2006 diff hist +4 m Chaitin's construction Putting verb in a sentence which consisted only of a huge noun phrase
- 13:53, 3 August 2006 diff hist +3 m Chaitin's construction Spell-check with ispell
- 13:46, 3 August 2006 diff hist -13 m Chaitin's construction No indenting for bash code
- 13:39, 3 August 2006 diff hist +45 Combinatory logic →Applications: Referring to Chaitin's construction, which can show why combinatory logic can be important in other areas of mathematics
- 13:32, 3 August 2006 diff hist +154 Chaitin's construction →Basing it on combinatory logic: Formula, that range of coding function equals to domain of decoding function
- 13:19, 3 August 2006 diff hist +419 Chaitin's construction →To do: Writing software for making conjectures in this topic
- 11:45, 3 August 2006 diff hist +189 m Chaitin's construction →Introduction: Writing an introductory text -- asking the motivating question of the topic
- 11:39, 3 August 2006 diff hist +50 m Chaitin's construction The set of syntactiaclly correct bitstring codings of combinatory logic is exactly both the domain of decoding and range of coding function
- 11:28, 3 August 2006 diff hist 0 m Chaitin's construction I had confused e.g. (exempla gratia) with i.e. (idem esse). Now I have corrected it
- 11:23, 3 August 2006 diff hist +8 m Chaitin's construction Some rephrasing
- 11:13, 3 August 2006 diff hist +2,454 N Chaitin's construction Having moved here from Exact real arithmetic. Making sections (→Introduction: , →Basing it on combinatory logic: ). Adding new sec →Related concepts: , linking back to Exact real arithmetic
- 11:06, 3 August 2006 diff hist -2,199 Exact real arithmetic →Why, are there reals at all, which are defined exactly, but are not computable?: Moving descrition on Chaitin's construction onto its newly created separete page
- 10:55, 3 August 2006 diff hist +7 m Exact real arithmetic ``Chaitin's construction'' misspelled
- 10:51, 3 August 2006 diff hist +3 m Exact real arithmetic Better aligning of mathematical formulae and typographic correction
- 10:47, 3 August 2006 diff hist +692 Exact real arithmetic Decoding function can be made a total function: with Maybe
- 10:17, 3 August 2006 diff hist +1,623 Exact real arithmetic →Why, are there reals at all, which are defined exactly, but are not computable?: Writing on Chaitin's construct and John Tromp's combinatory logic-related article
- 08:28, 31 July 2006 diff hist +273 Applications and libraries/Theorem provers Adding Ivor also to here
- 08:25, 31 July 2006 diff hist +284 Dependent type →Library: Adding Ivor theorem prover, and other related materials found on Edwin Brady's homepage
- 11:52, 27 July 2006 diff hist +2 m Generalised algebraic datatype Typographic corrections and fixing links
- 11:47, 27 July 2006 diff hist +16 m Template:Main/News Date: ICFP Programming Contest 2006 ended in 24 July
- 11:43, 27 July 2006 diff hist -49 m Template:Main/Events ... from Events
- 11:43, 27 July 2006 diff hist +171 Template:Main/News ICFP Prgramming Contest is over, it comes to News...
- 11:34, 27 July 2006 diff hist +176 m ICFP Programming Contest The contest is over, so uptdating the text accordingly
- 09:18, 25 July 2006 diff hist +1 m Generalised algebraic datatype typographic correction
- 09:17, 25 July 2006 diff hist +43 m Generalised algebraic datatype More exact phrases
- 09:13, 25 July 2006 diff hist +629 Generalised algebraic datatype →Projects containing GADTs: (1): David Roundy's talk describing how GADTs were useful for implementing Darcs. (2): HaskellDB's motiv.exampl
- 08:54, 20 July 2006 diff hist +59 ICFP Programming Contest Some contest materials are already available for download
- 20:29, 19 July 2006 diff hist +31 m Libraries and tools/Linguistics/Applicative universal grammar →General resources: Resolving the ambiguity of a sentence
- 20:22, 19 July 2006 diff hist -8 m Libraries and tools/Linguistics/Applicative universal grammar Spell-check
- 20:11, 19 July 2006 diff hist 0 m Libraries and tools/Linguistics/Applicative universal grammar Typographic corrections
- 20:09, 19 July 2006 diff hist +1,753 Libraries and tools/Linguistics/Applicative universal grammar (1): Splitting section `Introduction' to →Introduction: and →General resources: . (2): Writing introductory text. (3): Reference to Combinatory logic
- 19:15, 19 July 2006 diff hist +1 m Combinatory logic Partial spell-check with `spell'
- 18:55, 19 July 2006 diff hist +453 Combinatory logic →Applications: CL's linguistical applications, especially applicative universal grammar
- 14:52, 19 July 2006 diff hist 0 m ICFP Programming Contest Using term ``noon'' instead of ``a.m.'' in giving the duration of the contest
- 14:34, 19 July 2006 diff hist +173 ICFP Programming Contest Adding a link to an online clock showing Eastern Daylight Time.
- 23:08, 18 July 2006 diff hist +530 Applications and libraries/Linguistics →Other linguistics-related resources: →Reference: More precise information on Lojban, a linguistical tool developed to study and understand language
- 22:24, 18 July 2006 diff hist +261 Applications and libraries/Linguistics →Other linguistics-related resources: Adding some not-directly-Haskell-related lingiustics resources -- a personal liguisitic page + an artificial language page
- 13:16, 18 July 2006 diff hist +94 Libraries and tools/Linguistics/Applicative universal grammar →Implementing these idea: Giving another location for link to Mark P. Jones, Paul Hudak and Sebastian Shaumyan:``Using Types to Parse Natural Language'', because the first link may be sometimes busy
- 01:22, 18 July 2006 diff hist +440 Libraries and tools/Linguistics/Applicative universal grammar →Details: Link to ``Linguistic Types and the Valence of Operators in Applicative Universal Grammar'' written by Bernard Paul Sypniewski
- 00:48, 18 July 2006 diff hist +189 Libraries and tools/Linguistics/Applicative universal grammar →Fragments: More mailing list excerpts discussing the notion of ``meaning'' in AUG
- 00:10, 18 July 2006 diff hist +287 Libraries and tools/Linguistics/Applicative universal grammar →Fragments: Links to citings, responses to comments, and other such fragmented materials by Sebastian Shaumyan
- 23:43, 17 July 2006 diff hist +63 Libraries and tools/Linguistics/Applicative universal grammar (1) Splitting to sections: →Introduction: , →Details: , →Implementing these ideas: . (2) Making content less dens (lifting list to standalone paragraphs)
- 23:36, 17 July 2006 diff hist +1 Applications and libraries/Linguistics ...meta: child page Applicative universal grammar knows its parent page Linguistics
- 23:32, 17 July 2006 diff hist +75 N Applicative universal grammar Applicative universal grammar moved to Libraries and tools/Linguistics/Applicative universal grammar: Applicative universal grammar child page knows its parent page [[Libraries and tools/Li
- 23:32, 17 July 2006 diff hist 0 m Libraries and tools/Linguistics/Applicative universal grammar Applicative universal grammar moved to Libraries and tools/Linguistics/Applicative universal grammar
- 23:28, 17 July 2006 diff hist +47 Libraries and tools/Linguistics/Applicative universal grammar Meta: Adding table-of-contents and categorising under Category:Theoretical foundations...
- 23:25, 17 July 2006 diff hist +1,452 N Libraries and tools/Linguistics/Applicative universal grammar Having moved the mentioned section (Libraries and tools/Linguistics#Applicative universal grammar) here, thus creating this page
- 23:21, 17 July 2006 diff hist -1,378 Applications and libraries/Linguistics →Applicative universal grammar: This section gets its own HaskellWiki page: Applicative universal grammar. Because It is too dense, and I want to add more resources to it
- 12:18, 16 July 2006 diff hist +278 Applications and libraries/Linguistics →Applicative universal grammar: Link to paper comparing combinatory categorial grammar to applicative universal grammar
- 11:48, 15 July 2006 diff hist +57 Applications and libraries/Linguistics The link to Bernard Paul Sypniewski's article ``An Introduction to Applicative Universal Grammar'' is no more broken, so I removed the warning text. Also adding link to the athor's linguistics page.
- 15:45, 14 July 2006 diff hist 0 m ICFP Programming Contest Spell-check with ispell (but leaving ``archaeo-'', maybe it is intentional)
- 15:39, 14 July 2006 diff hist +93 ICFP Programming Contest Announcement (mentioning ``archeolinguisitcs'') can be read also on Haskell Maling List haskell@haskell.org
- 15:20, 14 July 2006 diff hist +32 m ICFP Programming Contest Dates
- 15:15, 14 July 2006 diff hist +40 m ICFP Programming Contest Writing ``Ninth annual'' instead of ``2006'', so that ToC number do not mix with year number
- 15:12, 14 July 2006 diff hist +345 N ICFP Programming Contest Link to its official homepage, and link to an anouncement which gives some information of the topic of the contest (``computational archeolinguistics'')
- 15:00, 14 July 2006 diff hist +49 Template:Main/Events ICFP Programming Contest, 2006
- 12:50, 22 June 2006 diff hist +48 Prelude extensions Add link to point-free programming wikipage
- 11:22, 22 June 2006 diff hist +14 Applications and libraries/Data structures →References: making occurrence of word ``point-free'' into a link to Pointfree wikipage
- 11:11, 22 June 2006 diff hist +699 Pointfree →References: ``Pointless Haskell'' library for point-free programming
- 10:12, 22 June 2006 diff hist +9 m Prelude extensions Adding table of contents
- 10:09, 22 June 2006 diff hist +194 Arrow →Function: A link back to Prelude extensions#Tuples, because of `first' and its related operations