User contributions
Jump to navigation
Jump to search
- 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
- 10:01, 22 June 2006 diff hist 0 m Example code Updating link to Prelude extensions, so that redirection page do not appear
- 10:00, 22 June 2006 diff hist +32 N Prelude Extensions Prelude Extensions moved to Prelude extensions: HaskellWiki:Guidelines#Page titles suggests sentence-style capitalization. I shall provide a link to this page (Prelude extensions) from Arrow.
- 10:00, 22 June 2006 diff hist 0 m Prelude extensions Prelude Extensions moved to Prelude extensions
- 09:52, 22 June 2006 diff hist +633 Prelude extensions →Tuples: Standard library implementations for mapFst, mapSnd, mapPair: see Data.Graph.Inductive.Query.Monad or Control.Arrow
- 06:49, 20 June 2006 diff hist +8 m Arrow Formatting word occurrences ``monad'' as monad: a link
- 13:20, 19 June 2006 diff hist 0 m Combinatory logic →Illative combinatory logic: Converting headline to sentence-style capitalization (to meet HaskellWiki:Guidelines#Headlines)
- 13:26, 17 June 2006 diff hist +2 m Combinatory logic Using Wikipedia's both-shape quotation marks: “-begun ”-ended, instead of the homogenous "-same-as-"
- 13:20, 17 June 2006 diff hist +445 Combinatory logic →General: Describing pointfree taste of CL, mentioning Recursive function theory's lack-of-variables
- 13:07, 17 June 2006 diff hist +57 Applications and libraries/Database interfaces →Related concepts: new section added. It mentions Relational algebra. Also table of contents added
- 11:27, 17 June 2006 diff hist +241 Type arithmetic New sections →Theory: (linking to Dependent type) and →Practice: (linking to Extensible record and relational algebra)
- 11:11, 17 June 2006 diff hist +103 Dependent type →Simulating them: links to Type arithmetic
- 11:06, 17 June 2006 diff hist +98 m Extensible record →Related concepts: links to Type arithmetic
- 11:01, 17 June 2006 diff hist +40 m Relational algebra →Just a thought: extensible record and more generally, type arithmetic
- 10:59, 17 June 2006 diff hist +24 m Relational algebra →Just a thought: Mentioning also extensible record as a related concept
- 10:54, 17 June 2006 diff hist +179 m Relational algebra →Practice: more unambigous introductory text
- 10:44, 17 June 2006 diff hist +88 Relational algebra →Just a thought: `Query' regarded as an arrow?
- 10:35, 17 June 2006 diff hist +25 m Applications and libraries/Database interfaces/CoddFish →Related concepts: refers to Relational algebra
- 10:33, 17 June 2006 diff hist +25 m Applications and libraries/Database interfaces/HaskellDB →Related concepts: rerfers to Relational algebra
- 10:29, 17 June 2006 diff hist +295 Relational algebra →Practice: links to HaskellDB and CoddFish, as Libraries and tools/Database interfaces
- 10:19, 17 June 2006 diff hist +2,182 Relational algebra →Just a thought: : an early, immature thought of mine to represent relational algebra expressions
- 09:22, 17 June 2006 diff hist +552 Pointfree →Other areas: links to Combinatory logic and also Recursive function theory. Mention Oliveira's paper related to Relational algebra
- 09:14, 17 June 2006 diff hist +59 Relational algebra Adding reference to pointfree (in shorly describing Oliveira's mentioned paper)
- 08:58, 17 June 2006 diff hist +357 N Relational algebra Link to paper: José Nuno Oliveira: First Steps in Pointfree Functional Dependency Theory. mainly it was that forced me to create page for relational algebra
- 08:43, 17 June 2006 diff hist +154 Extensible record →Declarative database management: and →Related concepts: : inititating new (theoretical) page Relational agebra
- 22:17, 16 June 2006 diff hist +4 m Extensible record Making an ambiguous sentence clear by more explicit separation
- 22:14, 16 June 2006 diff hist +322 Extensible record →Related concepts: new section added, this refers to Dependent type, and a link to ``Why Dependent Types Matter''
- 21:26, 16 June 2006 diff hist -1 m Applications and libraries/Database interfaces/CoddFish spell-check with ispell
- 21:18, 16 June 2006 diff hist +3 m Extensible record spell-check with ispell
- 21:12, 16 June 2006 diff hist 0 m Extensible record typographic correction
- 21:09, 16 June 2006 diff hist 0 m Extensible record →HaskellDB: The link to HaskellDB#Future was broken. Now having fixed
- 21:01, 16 June 2006 diff hist +86 Lucid →Fast-food: Using terms ``syncronous'' vs ``asynchronous''
- 20:58, 16 June 2006 diff hist +1 m Arrow typographic correction
- 20:57, 16 June 2006 diff hist +279 Arrow →Introduction: Adding link to ``Programming with Arrows'' paper written by John Hughes, and describing it shortly
- 19:47, 16 June 2006 diff hist +669 Extensible record →CoddFish: new section added (referring to CoddFish), and as a consequence, restructuring section strucure, adding table of contents
- 19:17, 16 June 2006 diff hist +49 Applications and libraries/Database interfaces/CoddFish →Related concepts: section added: it refers to Extensible record
- 19:13, 16 June 2006 diff hist +8 m Applications and libraries/Database interfaces/HaskellDB Also other occurrences of the same term
- 19:11, 16 June 2006 diff hist +9 m Applications and libraries/Database interfaces/HaskellDB Renaming headline ``Appendix'' to →Related concepts: , because I prefer functional names to structural ones
- 15:44, 16 June 2006 diff hist +157 Applications and libraries/Database interfaces/CoddFish →Introduction: Credit to the authors: Alexandra Silva and Joost Visser
- 15:36, 16 June 2006 diff hist +161 Applications and libraries/Database interfaces/HaskellDB →Future: Referring to CoddFish (because also it uses HLIst, too)
- 15:30, 16 June 2006 diff hist +49 Applications and libraries/Database interfaces/CoddFish Referring to HaskellDB
- 15:25, 16 June 2006 diff hist +456 N Applications and libraries/Database interfaces/CoddFish →Introduction: Introductory notes: a pure, type safe declarative DBMS library, not yet persistent by connecting to real life databases
- 15:22, 16 June 2006 diff hist +150 Applications and libraries/Database interfaces →Haskell Database Libraries: Adding link to CoddFIsh, thus initiating a CoddFish HaskellWiki page
- 14:56, 16 June 2006 diff hist +208 Attribute grammar →Tools: Adding link to Attribute Grammar Support for Happy (also from the Communities and Activities Report)
- 11:24, 16 June 2006 diff hist +7 m Lucid →Fast-food: small rephrasings at the explanatory texts of the ``moving average'' example
- 10:59, 16 June 2006 diff hist +125 Applications and libraries/Linguistics →Other functional or Haskell-related approaches to linguistics: Hal Daume III's natural lang. processing blog. Found ref on ``Topics and Contacts for the Haskell Communities and Activities Report''
- 18:06, 14 June 2006 diff hist +1 m Arrow typographic correction and formatting list
- 18:00, 14 June 2006 diff hist +295 Arrow →Introduction: and →Stream processor: Generalising Monads to Arrows written by John Hughes. Both a good introductory material, and details on stream processors and fudgets
- 13:20, 14 June 2006 diff hist +410 Arrow →Parser: The symmetric figure in Wikibooks' Programming:Haskell_arrows article suggests abstracting away side effect order