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
- 12:44, 14 June 2006 diff hist +1 m Arrow →Parser: formatting link
- 12:41, 14 June 2006 diff hist 0 m Arrow →Parser: Not an announcement (of an official release), just a short reference
- 11:02, 14 June 2006 diff hist +69 Arrow →Parser: Mor precise citing on the source of the new arrow parse implementation
- 10:59, 14 June 2006 diff hist +285 Arrow →Parser: Another arrow parser implementation written by Antti-Juhani Kaijanaho
- 10:29, 14 June 2006 diff hist +492 Arrow →Introduction: Wikibooks article, conveyor belt metaphor for arrows
- 23:27, 13 June 2006 diff hist 0 m Arrow Making all indices zero-based, so that duality of &&& (fanout, broadcast) and ||| (fanin) can bee seen more explicitly
- 23:19, 13 June 2006 diff hist -3 m Arrow →Parser: Grammatical correction at the explanatory text describing sequencing order of computations (side effects)
- 23:08, 13 June 2006 diff hist +127 m Arrow Streesing that binary relations are a _counterexample_ for sequencing effects
- 23:01, 13 June 2006 diff hist +143 Arrow Adding defintion of ||| (fan-in) for binary relations, also as a counterexample for taht it can be important in which order the effects take place, seqencing them
- 22:51, 13 June 2006 diff hist +589 Arrow Add definition of &&& (broadcast, fan-out) for binary relations, as a counterexample for importance of side-effect order
- 20:29, 13 June 2006 diff hist +7 m Arrow spell-check with ispell
- 01:15, 13 June 2006 diff hist +76 Research papers/Monads and arrows →Monads: and →Arrows: : mentioning the own HaskellWiki pags of these concepts: Monad, and also Arrow
- 01:03, 13 June 2006 diff hist +102 Arrow Magnus Carlsson's name and homepage
- 01:00, 13 June 2006 diff hist +421 Arrow →Introduction: and →Stream processor: both refer to Magnus Carlsson's ProdArrows site, becus it is both a good general material and a description of stream processors' specialities
- 00:49, 13 June 2006 diff hist +6 Research papers/Monads and arrows →Applications of arrows: Fix broken link for Magnus Carlsson's ProdArrows -- Arrows for Fudgets
- 21:27, 12 June 2006 diff hist +32 m Arrow →Parser: Some rephrasing
- 21:21, 12 June 2006 diff hist -3,002 Help talk:Contents Reverting to Ptolomy's 20:36, 9 June 2006 version, thus undoing [User:Fda|Fda]'s 20:51, 12 June 2006 contribution: many-many similar links with no explanatory texts current
- 19:10, 12 June 2006 diff hist +671 Arrow →Parser: Example quoted from Ross Paterson's A New Notation for Arrows
- 15:26, 12 June 2006 diff hist +132 m Arrow ``between'' example: expaining text rephrased
- 15:22, 12 June 2006 diff hist +144 Arrow →Parser: Another example for non-commutativeness of &&& is the ``between'' parser combinator
- 15:16, 12 June 2006 diff hist +23 m Arrow →Parser: adding more precise reference to the ``sepBy1'' example
- 15:09, 12 June 2006 diff hist +67 m Arrow →Parsers: Giving precise reference where the PArrows examplesare citated from (module name, full hierarchical name)
- 15:02, 12 June 2006 diff hist +241 Arrow →Parser: Another example (sepBy1) to illustrate, that &&& is not (necessarily) commutative
- 14:36, 12 June 2006 diff hist +1,030 Arrow →Parser: PArrows example for how state (here: stream) is threaded through the operands of &&& operation
- 10:39, 12 June 2006 diff hist +250 Arrow →Practice: when it is worth of using arrows instead of monads -- link
- 10:20, 12 June 2006 diff hist +112 m Lucid →Fast-food: MIssing line of the table: the 3rd snapshot was missing in the ``moving average'' example
- 02:57, 12 June 2006 diff hist +391 Arrow →Parser: Explaining term ``differential'', when writing on arrow parsers
- 22:16, 11 June 2006 diff hist +11 Base package Adding Arrow
- 22:10, 11 June 2006 diff hist +410 Arrow →Parser: Using term ``differential'' to express a subjective impression on arrow parsers
- 21:50, 11 June 2006 diff hist +173 Lucid →Fast food: Comment on the generality of Lucid, because the ``moving average'' example is somewhat too special
- 21:45, 11 June 2006 diff hist +24 m Lucid →Fast-food: Rephrase comments on syntax of Lucid code example, using term ``didactic intermediate syntax''
- 21:41, 11 June 2006 diff hist +118 m Lucid (1) →Fast-food: Values in the ``Snapshot'' and ``Input'' cells were incidenttally the same, which was confusing. Altering the input values. (2) Comments on syntax used in the Lucid code example
- 21:30, 11 June 2006 diff hist -24 m Lucid Values in the ``Snapshot'' and ``Input'' cells were incidenttally the same, which was confusing. Altering the input values.
- 21:25, 11 June 2006 diff hist +91 m Lucid →Fast-food: Formatting the header line of the table
- 21:15, 11 June 2006 diff hist +625 Lucid A table explaining the concept of ``running average'' by an example
- 20:57, 11 June 2006 diff hist +66 m Lucid grammatic correction (German word order corrected) and some words on the Lucid code example
- 20:50, 11 June 2006 diff hist +7 m Arrow Better characterization of the ``Lazy K'' pure lazy functional programming language
- 19:50, 11 June 2006 diff hist +418 Category theory →Foundations: : two links how category theory concepts are present in Haskell programming
- 18:32, 11 June 2006 diff hist 0 m Lucid typographic crrection
- 18:32, 11 June 2006 diff hist +305 Lucid →Implementation: : gets new subsections →Fast-food: , →Arrow: , →Comonad: , and add a link to a comonad page
- 18:13, 11 June 2006 diff hist +15 m Arrow →Functional I/O, graphical user interfaces: : (1) typographic correction (2) repetition of the same word is avoided by rephrasing the sentence
- 18:10, 11 June 2006 diff hist +193 Arrow →Functional I/O, graphical user interfaces: Adding link to Magnus Carlsson's remark on how Fudgets relate to arrows
- 17:59, 11 June 2006 diff hist +365 Arrow →Automaton: Referring to Wikipedia articles (Finite state machine) and (Automata theory)
- 17:44, 11 June 2006 diff hist +659 Arrow (1) →Library: : a) the standard library Control.Arrow b) and also an extension, too. (2) →Examples: introductory text
- 17:21, 11 June 2006 diff hist +799 Arrow Better structure and more links
- 16:20, 11 June 2006 diff hist +28 Attribute grammar Categorize also under Category:Compiler tools (because the Attribute Grammar Compiler tool of the Essential Haskell Compiler project)
- 16:17, 11 June 2006 diff hist +21 Separation of concerns Categorizing under Category:Idioms
- 16:13, 11 June 2006 diff hist +85 m Arrow Using {{Standard class ...}} template for arrows
- 16:09, 11 June 2006 diff hist +446 N Separation of concerns →Introduction: The most important links to Haskell-related papers in this topic, →Related concepts: links to monad and arrow and attribute grammar
- 15:50, 11 June 2006 diff hist +143 Arrow →Introduction: links copied from Books and tutorials/Using Arrows
- 15:47, 11 June 2006 diff hist +19 m Books →Using Arrows: ArrowsIntroduction is a Monad.Reader article, not a HaWiki contribution
- 15:38, 11 June 2006 diff hist +42 m Books →Using Monads: gives a link to Monad HaskellWiki page
- 15:34, 11 June 2006 diff hist +137 Books →Using Arrows: Add one more HaWiki article on arrows, and refer to the separate Arrow HaskellWiki page
- 15:28, 11 June 2006 diff hist +8 m Attribute grammar Initiating new page Separation of concerns
- 15:23, 11 June 2006 diff hist +3 m Lucid grammar correction
- 15:22, 11 June 2006 diff hist +394 Lucid →Implementation: A Lucid example (moving average) which is tested by the fast-food implementation
- 14:53, 11 June 2006 diff hist 0 m Lucid typographic corrections
- 14:45, 11 June 2006 diff hist +253 Lucid Link to a dataflow programming paper based on the concept of comonads
- 14:27, 11 June 2006 diff hist +5 m Lucid (1) typographic corrections (2) formatting word arrow as link to Arrow page
- 14:25, 11 June 2006 diff hist +1,219 Lucid →Introduction: and /Details*/: good introductory materials, and a detailed language description on this dataflow programming language
- 13:46, 11 June 2006 diff hist +522 N Lucid Having moved Lucid material from Arrow
- 13:45, 11 June 2006 diff hist -197 Arrow →Dataflow languages: writing an introdctory text with referring to Ross Patersons' Arrow and Computations, and moving Lucid material to a separate page
- 13:35, 11 June 2006 diff hist +77 N File:Test.lhs Testing Lucid prograaming language implementation by straightforward examples current
- 13:33, 11 June 2006 diff hist +68 N File:Lucid.lhs Mimick dataflow programming in a way as approached in Lucid language current
- 13:32, 11 June 2006 diff hist +1,288 N Arrow →Introducton: and →Examples: : most important introductory materials and examples: arrow parser, mimicking dataflow programming
- 12:40, 11 June 2006 diff hist +518 Attribute grammar →Separation of concerns: connections between monads, arrows and attribute grammars
- 12:27, 11 June 2006 diff hist +828 Attribute grammar Having moved description of Swiestra's ``Why Attribute Grammars Matter'' article from Circular programming to here
- 12:24, 11 June 2006 diff hist -719 Circular programming Moving description of Swiestra's ``Why Attribute Grammars Matter'' article to Attribute grammar
- 20:15, 7 June 2006 diff hist +1 m Mathematics one typogrphic correction left out
- 20:14, 7 June 2006 diff hist +26 m Mathematics Type-check with ispell, somewhat better phrases, a little more detail in an example
- 11:35, 7 June 2006 diff hist +5 m Attribute grammar /*Related concepts/* More precise location of a link
- 11:28, 7 June 2006 diff hist +4 m Mathematics Formatting word (a title) better
- 11:24, 7 June 2006 diff hist +201 Mathematics →General: Adding link to Wikipedia's Mathematics article, and some words about it
- 10:52, 7 June 2006 diff hist +63 m Mathematics Forgotten link to online book
- 10:44, 7 June 2006 diff hist +574 Mathematics →General: G.J. Chaitin: ``The Unknowable''. Copying link from Combinatory logic#Self-replication, quines, reflective programming
- 10:37, 7 June 2006 diff hist +38 Mathematics Categorizing under Category:Theoretical foundations
- 10:35, 7 June 2006 diff hist +384 N Mathematics →General: Paul Taylor: Practical Foundations of Mathematics. →Topics: : reference to various branches of mathematics
- 10:29, 7 June 2006 diff hist +63 m Books →Foundations: referring to newborn page Mathematics
- 10:22, 7 June 2006 diff hist +4 m Combinatory logic Initiating new page Mathematics. Mainly it is Paul Taylor's ``Practical Foundations of Mathematics'' book (found in Books and tutorials# Foundations that forced me to create this new page.
- 10:16, 7 June 2006 diff hist +9 m Category theory Table of contents
- 10:14, 7 June 2006 diff hist +20 m Attribute grammar Formatting word ``catamorphism'' as a link to Category theory
- 10:11, 7 June 2006 diff hist +360 Category theory →Foundations: Copying reference of Toposes, Triples and Theories from Books and tutorials#Foundations here
- 10:08, 7 June 2006 diff hist +19 m Books It seems that category pages cannot linked indirectly because of their special meaning. Linking Special:Categories instead.
- 10:02, 7 June 2006 diff hist +118 m Books →Foundations: referring to Category:Theoretical foundations category.
- 09:49, 7 June 2006 diff hist +1,464 N Category theory Including Books and tutorials#Categorical programming into here.
- 09:43, 7 June 2006 diff hist -1,320 Books Moving contents of →Categorical programming: to a newborn page Category theory#Categorical programming
- 15:46, 5 June 2006 diff hist +1 m Circular programming typographic correction
- 15:40, 5 June 2006 diff hist +66 m Attribute grammar →Related concepts: a new section, linking back to Circular programming
- 15:35, 5 June 2006 diff hist +9 m Attribute grammar Table of contents
- 15:32, 5 June 2006 diff hist +4 m Combinatory logic Other links updated
- 15:30, 5 June 2006 diff hist +4 m Combinatory logic Update a link because of the newly crated page Attribute grammar
- 15:24, 5 June 2006 diff hist +252 Circular programming Structuring contents: (1) adding table-of-contents (2) splitting the material to more sections
- 15:04, 5 June 2006 diff hist +12,966 Circular programming →Porting from HaWiki's CircularProgramming: but only my writings are ported, because I do not know the copyright status of the other contributions
- 14:02, 5 June 2006 diff hist -1 m Attribute grammar typographic correction
- 14:01, 5 June 2006 diff hist +1,147 N Attribute grammar Including contents from Books and tutorials#Attribute grammars, with straightforward modifications (some links are updates)
- 13:56, 5 June 2006 diff hist -738 Books →Attribute grammars: : moving its content to the Attribute grammar page
- 13:36, 5 June 2006 diff hist +175 N Circular programming (1) Link to HaWiki's CircularProgramming (2) Initiating Attribute grammar page
- 13:31, 5 June 2006 diff hist -27 m Turing machine Initiating a Circular programming page
- 02:01, 30 May 2006 diff hist +17 m Turing machine In →Tagging structure: section: format the word CPS as a link to the Continuation page
- 14:42, 25 May 2006 diff hist -1 m Help talk:Contents Remove dummy edit
- 14:41, 25 May 2006 diff hist +1 m Help talk:Contents ``Thus undoing Aff's 12:52, 25 May 2006 version'' -- I mean. I mistyped the date.
- 14:34, 25 May 2006 diff hist -65,329 Help talk:Contents Revert to Don Stewart's 02:16, 25 May 2006 version, thus undoing Aff's 02:16, 25 May 2006 version: many-many invisible links looking like if they were generated systematically
- 14:26, 25 May 2006 diff hist +329 Continuation →Continuation monad: : links to HaWiki pages + a Python generator example
- 09:33, 25 May 2006 diff hist +437 Continuation →Functional metaphors: Adding HaWiki's short description, which can be important at managing cases, alternatives
- 01:31, 25 May 2006 diff hist +3 m Continuation Typographic corrections: (1) spell-check with ispell; (2) using <hask> instead of <code> at all _Haskell_ examples, even if no visual difference can be seen. Scheme examples remain between <code>'s
- 20:40, 24 May 2006 diff hist +239 Continuation →Citing haskellized Scheme examples from Wikipedia: fixing a mistyped link (I mixed up Wikipedia's two articles on CPS) and more exact description about the modifications in the quoted text
- 20:06, 24 May 2006 diff hist +18 m Continuation Small formattings in the recently added section →More general examples
- 19:33, 24 May 2006 diff hist +19 m Continuation Usng hand-made term ``non-continuation argument''
- 19:28, 24 May 2006 diff hist +1,048 Continuation Showing examples, where the type of the argument of the discussed function and type of the argument of the continuation do not coincide: CPS-ized length
- 18:32, 24 May 2006 diff hist +102 N File:Continuation.hs WikiPedia's ``Continuation'' article, ``Examples'' section. The Scheme examples translated to Haskell. current
- 18:29, 24 May 2006 diff hist +125 Continuation Making the Haskell example downloadable: Continuation.hs
- 18:10, 24 May 2006 diff hist +2,384 Continuation →Citing haskellized Scheme examples from Wikipedia: Quoting Wikipedia's Continuation#Examples, but Scheme examples are translated to Haskell, and some straightforward modifications are made
- 14:52, 24 May 2006 diff hist +414 Continuation (1) →Imperative metaphors: split off from →Functional metaphors: (2) Adding Daume III's ``what to do next'' metaphor.
- 14:25, 24 May 2006 diff hist +11 m Continuation /*Powerful metaphors, images* other better localization of links: linking directly the cited sections
- 14:20, 24 May 2006 diff hist +10 m Continuation Link directly to the referred-to section in David Madore's call/cc homepage
- 14:18, 24 May 2006 diff hist +450 Continuation →Powerful metaphors, images: Adding David Madore's ``dynamic goto'', ``label for goto'' metaphor
- 13:57, 24 May 2006 diff hist +514 Continuation →Powerful metaphors, images: : concise descriptions or illustratiing metaphoras, a collection of citing quotations
- 13:31, 24 May 2006 diff hist +95 Continuation Wikipedia has both ``Continuation'' and ``Continuation-passing style'' pages
- 13:11, 24 May 2006 diff hist +1,191 N Continuation (1) Links to →General or introductory materials: on the concept itself. (2) Links describing the →Continuation monad
- 12:25, 24 May 2006 diff hist +4 Combinatory logic In section →Base: , creating new page Continuation by making a world to a link
- 14:15, 23 May 2006 diff hist +468 Turing machine Links to American Mathematical Society pages, see →Links: and also →Implementations
- 12:21, 23 May 2006 diff hist +825 Turing machine Writing an →Introduction: section. Splitting off a section →Links: . Others: the previous change (Maybe2 expalnation) took part in section →A construct called Maybe2
- 11:50, 23 May 2006 diff hist +458 Turing machine Programming guidelines#Types recommends avoiding Maybe2 x y construct, suggests Maybe (x, y) instead. Turing definition language uses Maybe2, so I explain my motivations to do so.
- 11:02, 23 May 2006 diff hist +7,924 Haskell in education Revert to Don Stewart's 04:10, 25 February 2006 version: restoring the unexplainedly deleted part of this page. I suppose this deletion may have been an accident: deletion's border was inside a word.
- 10:48, 23 May 2006 diff hist +45 Applications and libraries/Editors Link to the recently created Yi wikipage
- 11:00, 22 May 2006 diff hist -6 m Combinatory logic The mentioned link can be found in section →General: . Some minor edits.
- 10:47, 22 May 2006 diff hist +442 Combinatory logic Link to the site ``To dissect a Mockingbird'' -- a graphical notation for combinatory logic. An online, free material. Also some related links.
- 10:10, 17 May 2006 diff hist +707 Turing machine Expressing syntax highlighting information in pure black&white ASCII text: capitalization rules. See →Example: and →Arity (represented with font)
- 00:25, 17 May 2006 diff hist +77 m Turing machine Finer distinction between: (1) Maybe(Just,Maybe)-inspired special state and symbol (2) Maybe2(Just2,Nothing2)-inspired halting solution. See →Arity (represented with font)
- 00:02, 17 May 2006 diff hist +1 m Turing machine Human spell-check after ispell: ``chasing'' --> ``choosing''
- 23:56, 16 May 2006 diff hist -1,621 m Turing machine Spell check with ispell + some typos in Haskell examples
- 23:37, 16 May 2006 diff hist +58 Turing machine In →Language: , a trick with type synonyms and Maybe is accompanied with a better naming convention. Refining accordingly section →Discernable non-emptyness: special state, special symbol
- 23:21, 16 May 2006 diff hist +1,447 Turing machine In →Example: extending syntax highlighting: arity (of commands and state/symbol/action constructors) is represented by font type. →Arity (represented with font)
- 10:04, 12 May 2006 diff hist +23 m Dependent type More precise location of a link to Future#Extensions of Haskell in section →Eptigram
- 09:49, 12 May 2006 diff hist +191 Applications and libraries/Linguistics →Other functional or Haskell-related approaches to linguistics: : A link back to Dependent type#Type theory
- 09:38, 12 May 2006 diff hist 0 m Dependent type sentence-style capitalization of headlines
- 09:36, 12 May 2006 diff hist +524 Dependent type In section →Type theory: An approach to the concept of dependent type and Curry-Howard isomorphism: dicussed in the context of linguistics!
- 20:19, 11 May 2006 diff hist +266 Applications and libraries/Linguistics Adding another link from Aarne Ranta's homepage: among others, online course slides
- 19:58, 7 May 2006 diff hist -2 m Talk:Recursive function theory typographic correction current
- 21:06, 6 May 2006 diff hist +168 m Recursive function theory typographic corrections, formatting, some more words at not-clear sentences
- 17:14, 6 May 2006 diff hist +59 m Recursive function theory Making reference to fixed point theorem a link (to the appropriate section of David Madore's Selfrep/Quine page)
- 17:02, 6 May 2006 diff hist +1,195 Recursive function theory New section →Notations: , with also some remarks on type safety relating to partial functions
- 16:34, 6 May 2006 diff hist +268 Recursive function theory Lack of variables gives a feeling resembling to pointfree style
- 16:10, 6 May 2006 diff hist +844 Talk:Recursive function theory Self-containedness and motivations
- 15:32, 6 May 2006 diff hist +1,078 Recursive function theory Rewriting a section and renaming it to →Motivations: . It discusses the (mainly only indirect) relatedness of this page to Haskell.
- 07:56, 5 May 2006 diff hist +398 Generalised algebraic datatype Copying a link from Research papers/Type systems#Generalised Algebraic Data Types to here in section →Papers: (a paper on translating GADT's to system F)
- 19:20, 2 May 2006 diff hist +21 m Existential type →Generalised algebraic datatype: : More exact citing the example from the Generalised algebraic datatype#Motivation example page
- 18:58, 2 May 2006 diff hist +292 Existential type Adding a new section →Trac: which contains links to Trac pages on existential types
- 18:42, 2 May 2006 diff hist +1 m Keywords Update link to Smart constructors, following redirection
- 18:39, 2 May 2006 diff hist +1 m Type Update link to Smart constructors, following redirection
- 18:37, 2 May 2006 diff hist +16 m Existential type Update link to Smart constructors, following redirection
- 18:32, 2 May 2006 diff hist +32 N Smart constructor Smart constructor moved to Smart constructors: revert my previous (singularizing) move on this page.It seems to be a collective noun, with many specific ideas, it may be more an item list than a topical list. Sorry for my mistake.
- 18:32, 2 May 2006 diff hist 0 m Smart constructors Smart constructor moved to Smart constructors
- 17:49, 2 May 2006 diff hist +1 m Existential type typographic correction
- 16:11, 2 May 2006 diff hist +545 Existential type Existential types in Essential Haskell. Comparisons to Haskell.
- 11:46, 2 May 2006 diff hist -1 m Keywords Updating link to Smart constructor, following its redirection
- 11:43, 2 May 2006 diff hist -1 m Type Updating link to Smart constructor, following its redirection
- 11:42, 2 May 2006 diff hist 0 m Smart constructors Smart constructors moved to Smart constructor
- 11:39, 2 May 2006 diff hist +649 Existential type Examples from the Generalised algebraic datatype page and from the Essential Haskell Compiler Project
- 10:58, 2 May 2006 diff hist +45 Generalised algebraic datatype Adding link to Existential type at the example where this concept is mentioned
- 10:52, 2 May 2006 diff hist +21 m Existential type Syntax highlighting for Haskell examples
- 09:27, 2 May 2006 diff hist 0 m Generalised algebraic datatype :@ constructor symbol -- infix also in data declaration
- 08:49, 2 May 2006 diff hist +389 Generalised algebraic datatype Adding more links to papers on GADTs
- 08:03, 2 May 2006 diff hist +220 Generalised algebraic datatype (1) Adding a link to a (meanwhile revised) paper (2) typo (unpaired </haskell>)
- 12:18, 1 May 2006 diff hist +392 Turing machine Citing original source of the idea of →Tagging structure: and its relatedness to Haskell and functional programming
- 11:56, 1 May 2006 diff hist +1,099 Turing machine Explaning the motivation, why a →Tagging structure: has been incorporated in the Turing machine definition language
- 01:03, 1 May 2006 diff hist +111 Turing machine Giving Wikipedia links explaining what a tally (or unary) notation is
- 00:46, 1 May 2006 diff hist +2,657 Turing machine →Algebraic background of syntax highlighting: writing on the tagging structure of the keywords of Turung machine definition languge -- this classfication rules the highlighting princples
- 19:03, 30 April 2006 diff hist +66 m Turing machine Moving directions are also special symbols, so they get syntax highlighting (brown), too in the Turing machine defintion language →Verbose syntax
- 18:50, 30 April 2006 diff hist +6 m Turing machine Better grammatic structure for expressing what is regarded fixed when talking on the limitedness of thehead
- 18:41, 30 April 2006 diff hist +337 Turing machine Using term ,,Turing machine definition language'' for what we generally mean when talking on the language of Turing simulator softwares
- 18:22, 30 April 2006 diff hist +96 m Turing machine Using the experimented syntax highlight also in inline text, not only in code blocks: see →Discernable non-emptyness: special state, special symbol
- 18:16, 30 April 2006 diff hist +2 m Turing machine Representing the stress in a sentence by typesetting the stressed word with italics
- 18:05, 30 April 2006 diff hist +48 Turing machine Syntax highlight: 0-ary keywords (the special action, state, letter) are typeset boldface in Turing machine description language, →Verbose syntax
- 17:53, 30 April 2006 diff hist +806 Turing machine Re-coloring: states are green and actions are red, these complementary colors yield a nice view
- 17:20, 30 April 2006 diff hist +174 m Turing machine Re-coloring syntax highlight for →Verbose syntax: of Turing machine description language
- 16:37, 30 April 2006 diff hist +1,388 Turing machine Syntax highlight for the →Verbose syntax: of a Turing machine description language
- 14:39, 30 April 2006 diff hist -1 m Turing machine typographic convention
- 14:37, 30 April 2006 diff hist +954 Turing machine More details on different →Variants: of the conceptual framework of Turing machines: moving conventions -- tape or head moves, idle moves
- 13:20, 30 April 2006 diff hist +860 Recursive function theory Adding link to Dr Matt Fairtlough's lecture notes, as they contain theoretical texts, implementations written in Haskell, and further useful links. Using also his term ,,initial functions''
- 09:37, 30 April 2006 diff hist +56 m Recursive function theory Typographic corrections and clearer choice of words
- 09:30, 30 April 2006 diff hist +1,297 Recursive function theory →Constant: : Arguing for another choice of base functions
- 01:35, 30 April 2006 diff hist +8 m Recursive function theory typographic correction
- 01:31, 30 April 2006 diff hist +171 Recursive function theory →Partial recursive functions: : Operations on partial functions are total
- 00:16, 30 April 2006 diff hist -27 m Recursive function theory Partial revert: Removing a superfluous, ,,hypercorrect'' (in fact, incorrect) ,,correction''
- 00:11, 30 April 2006 diff hist +228 m Recursive function theory →Partial recursive functions: : mistype corrections in the formulas, better wording, more precise question
- 08:03, 26 April 2006 diff hist -5 Extensible record Updating link to ,,Port HaskellDB to HList'' ticket, according to its new location on Trac
- 08:00, 26 April 2006 diff hist -5 m Applications and libraries/Database interfaces/HaskellDB Updating link to ,,Port HaskellDB to HList'' ticket, according to its new location on Trac
- 11:42, 25 April 2006 diff hist -39 Applications and libraries/Database interfaces/HaskellDB Mentioning project Port HaskellDB to HList comes under headline →Future
- 00:16, 25 April 2006 diff hist +391 Applications and libraries/Database interfaces/HaskellDB Adding the same text on HLIst to here, too
- 00:02, 25 April 2006 diff hist +391 Extensible record Adding link to HList, mentioning its relatedness to database prgramming, and also Port HaskellDB to HList project
- 23:33, 24 April 2006 diff hist +74 m Summer of Code/Project suggestions Typo: misstyped link
- 23:28, 24 April 2006 diff hist +95 Summer of Code/Project suggestions Making most important keywords into links in →Port HaskellDB to HList
- 03:09, 24 April 2006 diff hist 0 Recursive function theory Small typographic correction
- 03:06, 24 April 2006 diff hist +619 Recursive function theory Formulating and explaining the definition of ,,special'' property'
- 19:46, 23 April 2006 diff hist +494 Recursive function theory Connection between two separate things: (1) defining zero(x)=0 in terms of the ,,pure'' 0 approach (2) allowing 0-arity cases in composition
- 19:16, 23 April 2006 diff hist -87 Recursive function theory Reverting ,,zero-arity case excluded'' -- zero arity cases can be fruitful
- 18:28, 23 April 2006 diff hist +87 Recursive function theory A zero arity case excluded -- arity of the result is undefinable
- 17:40, 23 April 2006 diff hist +25 m Recursive function theory Typos and typesettings (italics)
- 17:17, 23 April 2006 diff hist -29 m Recursive function theory Headline hierarchy is simpified -- a ,,singleton'' level eliminated
- 17:11, 23 April 2006 diff hist +71 Recursive function theory Categorizing under Category:Theoretical foundations. And some minor rephrasings.
- 17:05, 23 April 2006 diff hist +5,758 N Recursive function theory New notations introduced, and simplifications made (zero-arity generalizations are presupposed). Plans for incarnating recursion theory concepts as a programming laguage. Ref: Monk: Mathematical Logic
- 09:23, 23 April 2006 diff hist +8 m Computer science Creating new wikipage Recursive function theory by making this word a link to it
- 03:05, 23 April 2006 diff hist +700 Turing machine More precise description of the requirement →Discernable non-emptyness: special state, special symbol
- 02:29, 23 April 2006 diff hist +1,697 Turing machine Adding new section: →Variants: of defining the concept of Turing machine
- 23:00, 22 April 2006 diff hist +29 m Turing machine typos, and Prolog terminology mistake correction
- 22:15, 22 April 2006 diff hist +4,306 N Turing machine Plans for designing a programming language, which allows us to experiment with the main concepts of Turing machines. Syntax by examples, and some thoughts on the Haskell implementation
- 19:44, 22 April 2006 diff hist +1,319 Computer science New section →To do: : implementing the different approaches of concept of algorithm as programming languages, and using them in teaching foundations of mathematics and metaprogramming
- 17:00, 22 April 2006 diff hist 0 m Computer science Changing the order of the table-of-contents and the Dijkstra-motto
- 16:57, 22 April 2006 diff hist +162 Computer science Motto: Computer Science is no more about computers than astronomy is about telescopes. Motto: ,,Computer Science is no more about computers than astronomy is about telescopes'' by E. W. Dijkstra
- 16:48, 22 April 2006 diff hist +135 Exact real arithmetic Why the chosen functional language of Martín Escardó's exact real arithmetic calculator project is Haskell
- 14:10, 22 April 2006 diff hist +20 m Computer science add headline ,,Introduction''
- 14:08, 22 April 2006 diff hist +196 m Computer science A link back to Exact real arithmetic -- in fact, it was this topic that forced me to create the separate ,,Computer science'' wikipage (with section ,,Computability theory'').
- 13:51, 22 April 2006 diff hist +47 m Computer science Categorizing: Category:Theoretical foundations. Table of contents.
- 13:49, 22 April 2006 diff hist +576 N Computer science Filling with the most important links. Originally it was Martín Escardó's Computer Science page which made me to create a wikipage on this topic.
- 13:35, 22 April 2006 diff hist -20 Exact real arithmetic Martín Escardó's page on computer science (in general) and other materials make it appropriate to establish a separate Haskell Wiki page on Computer science.
- 13:16, 22 April 2006 diff hist +421 Exact real arithmetic Links: (1) Martín Escardó's project and papers; (2) HaWiki's ExactRealArithmetic
- 12:43, 22 April 2006 diff hist +122 m Exact real arithmetic A link back to Libraries and tools/Mathematics. And a (redundant) link to Wikipedia's Computability theory.
- 12:33, 22 April 2006 diff hist +911 Exact real arithmetic What exact real arithmetic is NOT: _fixed_ arbitrary precision decimals.
- 11:25, 22 April 2006 diff hist +1,087 N Exact real arithmetic or ,,computable reals'', a topic embracing analysis, arithmetic, computability. Introductory text, and links: 1) Vuillemin's strong theoretical foundation article 2) Exact Computation, a portal-like
- 11:00, 22 April 2006 diff hist +285 Applications and libraries/Mathematics This is a huge topic embracing many different approaches, and raises questions rooted deeply in computabibity theory, so it deserves its own wikipage
- 08:30, 18 April 2006 diff hist -6 m Zipper monad Updating links to Zipper, according to its un-camelcase redirection
- 13:53, 3 April 2006 diff hist +2 m Applications and libraries/Database interfaces/HaskellDB typographic correction
- 00:55, 2 April 2006 diff hist +9 m Applications and libraries/Database interfaces More clear phrasing: HaskellDB has an own wikipage on Haskell Wiki
- 00:36, 2 April 2006 diff hist +97 m Generalised algebraic datatype A link back to Libraries and tools/Database interfaces/HaskellDB
- 00:23, 2 April 2006 diff hist +167 Extensible record A link back to Libraries and tools/Database interfaces/HaskellDB -- the problem described in the pointed-to page can bee seen as a case study
- 00:11, 2 April 2006 diff hist +10 m Applications and libraries/Database interfaces/HaskellDB a typographic correction and a more precise phrase (,,domain specific embedded'')
- 00:02, 2 April 2006 diff hist +2,078 N Applications and libraries/Database interfaces/HaskellDB General description + new links. The main motivation for creating this page was that more new materials appeared on HaskelDB which cannot be easily found from the well-known HaskellDB pages.
- 23:23, 1 April 2006 diff hist +217 Applications and libraries/Linguistics Adding pages ,,Grammatical Framework'' and ,,Functional Morphology''
- 21:56, 1 April 2006 diff hist +57 Applications and libraries/Database interfaces Because there are more materials on HaskellDB than its two official home, so I create a separate wikipage for it: Libraries and tools/Database interfaces/HaskellDB
- 09:29, 1 April 2006 diff hist +7 m Applications and libraries/Theorem provers Making the word ,,language'' to a link (to Linguistics)
- 09:24, 1 April 2006 diff hist +197 Applications and libraries/Theorem provers At the description of DEMO, mentioning the other dynamic epistemic logic materials written by the same author, and giving a link there
- 09:11, 1 April 2006 diff hist +11 m Applications and libraries/Linguistics Using == .. == for top-level headlines, following the Guidelines
- 09:08, 1 April 2006 diff hist +234 Applications and libraries/Linguistics DEMO lead me to a huge homepage on logic + language: e.g. computational linguistics and epistemic logic etc., so I put a link to it
- 08:09, 1 April 2006 diff hist +4 m Applications and libraries/Web programming Small layout improvement by typesetting the reference to a general concept with italic
- 08:05, 1 April 2006 diff hist +360 Applications and libraries/Web programming Adding EdComb also to Libraries and tools/Web programming, because this editor combinator library (primarily mentioned at Libraries and tools/Editors can be used also for building browsers
- 08:02, 1 April 2006 diff hist +10 m Applications and libraries/Editors Not omitting the ,,index.html'' part of the URL
- 07:41, 1 April 2006 diff hist 0 m Type Converting the Type#See also section to use sentence-style capitalization, because a link pointing to this section is of sentence-style, too.
- 07:33, 1 April 2006 diff hist +112 Dependent type Linking with other wikipage: (1) a link back to Libraries and tools/Theorem provers (2) A more precise link (anchored to a section) to Type#See also
- 07:19, 1 April 2006 diff hist +3 m Dependent type typographic corrections
- 07:17, 1 April 2006 diff hist +2 m First-class module typographic corrections
- 21:28, 31 March 2006 diff hist +77 Dependent type The description of Epigram got a link to Libraries and tools/Theorem provers, because that page also mentions Epigram
- 21:23, 31 March 2006 diff hist +24 m Dependent type Using == ... == as top level headlines (according to HaskellWiki:Guidelines#Headlines)
- 21:15, 31 March 2006 diff hist +19 m Applications and libraries/Theorem provers The description of Epigram mentions the concept of dependent type, so I have made a link to Dependent type
- 09:06, 29 March 2006 diff hist +570 Analysis and design PURe Project contains Camila, so first I must mention PURe Project, and then Camila as an example
- 08:33, 29 March 2006 diff hist +143 Applications and libraries/Program development Adding a ,,Formal methods'' section, with links to Analysis and design and to Libraries and tools/Theorem provers
- 08:21, 29 March 2006 diff hist +86 Applications and libraries/Theorem provers Adding link to the new Analysis and design page from the description of Camila
- 08:16, 29 March 2006 diff hist +1,894 N Analysis and design Creating the page with FAD and Camila
- 08:05, 29 March 2006 diff hist -1,330 Books Making a link to a new Analysis and design page for Camila (seen on page Librares and tools/Therem provers) and FAD (seen here) and moving the description of FAD from here to there
- 10:15, 28 March 2006 diff hist 0 m Dependent type typographic correction
- 10:06, 28 March 2006 diff hist 0 m Combinatory logic typographic correction
- 10:02, 28 March 2006 diff hist +514 Combinatory logic (1) Self-creating and conscience: Adding links to theoretical biology -- annotations and ToC of Maturana & Varela's books: Autopoesis & Tree of Knowledge. (2) Some typographic corrections too
- 09:00, 28 March 2006 diff hist +190 m Generalised algebraic datatype Making a link more precise: linking directly to the approporate section of the page instead to the top of the page
- 08:48, 28 March 2006 diff hist +148 m Generalised algebraic datatype Paraphrasing some sentences to achieve better clarity
- 10:26, 26 March 2006 diff hist +5 m First-class module typographic corrections
- 01:33, 26 March 2006 diff hist +151 Applications and libraries Adding link to Ralf Hinze's Haskell software page in the {Collections of libraries} section
- 01:17, 26 March 2006 diff hist +1 m Generalised algebraic datatype typographic corrections
- 21:29, 25 March 2006 diff hist +4 m Generalised algebraic datatype Sorry -- of course I meant ,,Generalised algebraic datatype''
- 21:19, 25 March 2006 diff hist -1 m Type Updatink link to Generalised abstract datatype, following its redirection
- 21:15, 25 March 2006 diff hist +44 N Generalised algebraic datatypes Generalised algebraic datatypes moved to Generalised algebraic datatype: Existential type, Type, Phantom type, Unboxed type has also followed the Wikipedia guideline's topical vs item list distinction
- 21:15, 25 March 2006 diff hist 0 m Generalised algebraic datatype Generalised algebraic datatypes moved to Generalised algebraic datatype
- 21:07, 25 March 2006 diff hist +56 m First-class module Splitting the page into two titled sections (,,Haskell proposal'' vs ,,Other examples'')
- 20:54, 25 March 2006 diff hist +519 N First-class module Creating the page with the description of concepts which forced me to create this page: Cayene language from Dependent types and Mark Shields & Simon Peyton Jones's article from Future
- 20:40, 25 March 2006 diff hist +38 Future of Haskell Link to First-class module page
- 20:38, 25 March 2006 diff hist +792 Dependent type Adding link to Agda and Cayene, as examples of dependently typed languages. Reference to Cayene will create a new First-class module page
- 20:07, 25 March 2006 diff hist 0 m Generalised algebraic datatype Updating link to Dependent type following its redirection
- 20:05, 25 March 2006 diff hist -1 m User:EndreyMark Updating link to Dependent type folowing its redirection current
- 20:03, 25 March 2006 diff hist -1 m Future of Haskell Updating link to Dependent type following its redirection
- 19:58, 25 March 2006 diff hist -1 m Combinatory logic Updating link to Dependent type following its redirection
- 19:53, 25 March 2006 diff hist +28 N Dependent types Dependent types moved to Dependent type: Wikipedia:Naming conventions (categories) advices to make a distinction between - topical lists (name be singular) - list of items (name be plural) in category names which refer to lists. As only few links point to
- 19:53, 25 March 2006 diff hist 0 m Dependent type Dependent types moved to Dependent type
- 19:31, 25 March 2006 diff hist +4 m Applications and libraries/Theorem provers The description of Agda mentioned dependent types, so I made a link to Dependent types wikipage.
- 19:26, 25 March 2006 diff hist +278 Applications and libraries/Theorem provers Adding two links: ,,Paradox'' and ,,Dumatel''
- 19:01, 25 March 2006 diff hist +208 Applications and libraries/Editors Adding notes to EdComb's description: it presents a generalized approach of concept ,,editor''. Its usefullness also as browser.
- 18:20, 25 March 2006 diff hist +342 Applications and libraries/Editors Copying the link to EdComb to here from Libraries and tools. Beacause EdComb can fit to more category (,,Browsers'', ,,Program development''), I haven't removed its link from its original place.
- 18:05, 25 March 2006 diff hist +87 m User talk:Ashley Y Having redolved unknown copyright status
- 17:31, 25 March 2006 diff hist +35 m Applications and libraries/Graphics Giving an indirect link to Libraries and tools/GUI libraries, avoiding the redirection
- 17:24, 25 March 2006 diff hist +1 Applications and libraries/GUI libraries Fixing the link to ,,Embracing Windows'' GUI framework and deleting ,,{{dead link}}'' mark
- 17:06, 25 March 2006 diff hist -22 m Applications and libraries/Genetic programming Having resolved copyright status
- 01:38, 25 March 2006 diff hist -8 m Combinatory logic Deleting a superfluous argument from the type of the ,,interpreter'' function
- 01:08, 25 March 2006 diff hist +2,081 Combinatory logic Terminology and mathematical notation is partly renewed: it can differentiate concepts in a more sophisticated way. New notations are accompanied with expanations and motivations why I chose them
- 23:04, 24 March 2006 diff hist -2 m Combinatory logic typographic corrections
- 17:15, 24 March 2006 diff hist +2 m Combinatory logic Better alignment of the ,,quotation stratfication'' picture
- 16:36, 24 March 2006 diff hist +202 N File:Quot-strat.png The stratification of the series of quotations in representing combiatory logic terms in combinatory logic itself. Useful for building a concept of quines (self-repoducing programs) in combinatory logic current
- 16:33, 24 March 2006 diff hist +2,870 Combinatory logic The stratification of quotation series in writing a CL self-reproducing program (quine). Huge amount of quoting supprts the idea of a lightweight library for CL instead of an interpreter with commands
- 12:32, 24 March 2006 diff hist +671 User talk:Ashley Y Resolving unknown copyright status of Libraries and tools/Genetic programming
- 00:05, 24 March 2006 diff hist +174 Applications and libraries/Operating system (1) Structuring the page: a section for shell link collections, another section for concrete shell examples. (2) Also adding a new link collection for shells.
- 23:31, 23 March 2006 diff hist +347 Applications and libraries/Operating system More Haskell shell links
- 23:00, 23 March 2006 diff hist +277 Applications and libraries/Operating system Adding a link to Haskell Shell (seems to be implemented in Haskell 1.3)
- 19:36, 23 March 2006 diff hist +17 m Humor Enclosing <autrijus>'s name in <nowiki>...</nowiki> tags. Only for logical consistence (no practical significance)
- 19:30, 23 March 2006 diff hist +158 Humor An example quotation from HaWiki's QuotesPage: <autrijus>'s jokeful comparing Perl and Haskell
- 19:01, 23 March 2006 diff hist +65 Humor Added a link to HaWiki's QuotesPage
- 11:13, 23 March 2006 diff hist +241 Applications and libraries/Operating system Having moved GetOpt from the uncategorised section of Libraries and tools to here
- 11:02, 23 March 2006 diff hist -183 Applications and libraries Moving GetOpt from ->Various libraries section to the new subpage ,,Operating system''
- 10:48, 23 March 2006 diff hist +456 N Applications and libraries/Operating system 1) House, a self-standing OS implemented in Haskell 2) HsShellScript, a library for tasks for which we usualy use the shell 3) pure functional shell links
- 10:31, 23 March 2006 diff hist -162 Applications and libraries Moving HsShellScript from the ->Various libaries section to a new Operating system subpage. Another reason for this is that this new page is a natural place for House, hOp, Hilde
- 09:47, 23 March 2006 diff hist -1 m Combinatory logic simulating TeX's displaymath with MediaWiki's indented math (: <math>...</math>) instead of (unordered) lists
- 09:13, 23 March 2006 diff hist +183 Books -> Categorical programming: added a new link to an article mentioning a conjecture on the relatedness of category theory to Combinatory logic
- 08:53, 23 March 2006 diff hist -1 m Combinatory logic 1) typographic correction 2) swapping the order of mailing list references to make a subset-superset order
- 08:45, 23 March 2006 diff hist +407 Combinatory logic Unlambda (a combinaitry logic programming language) resources: 1) a metacircular interpreter 2) an implementation of Unlambda in Haskell
- 10:53, 16 March 2006 diff hist +1 m Extensible record typographic: is > its
- 12:45, 9 March 2006 diff hist -34 m Combinatory logic haskell inline code highlight
- 10:33, 9 March 2006 diff hist +114 m Combinatory logic layout improvements (syntax highlight made some smaller word order changes appropriate) and correcting some typographic or latex errors
- 10:17, 9 March 2006 diff hist +397 m Combinatory logic enabling syntax highlight for the Haskell code examples by paranthesing them by <haskell>...</haskell>
- 21:42, 8 March 2006 diff hist -1 m Extensible record Morrow interpreter seems to be unavailable for download
- 21:31, 8 March 2006 diff hist +143 Extensible record Add a link to the [http://www.cs.uu.nl/~daan/morrow/ Morrow] language, whith interpeter, having extensible records
- 18:14, 8 March 2006 diff hist +585 Extensible record more links
- 17:06, 8 March 2006 diff hist +1,019 N Extensible record Haskell' Wiki, TREX, other proposals
- 15:52, 8 March 2006 diff hist +330 Future of Haskell Adding a link to Mark Shields and Simon Peyton Jones: First-class Modules for Haskell. Others: beginning to create an Extensible record page with a short description of the topic
- 11:55, 8 March 2006 diff hist +38 m Generalised algebraic datatype Separating two linked words with an unlinked one, so that they do not look like one common link
- 11:49, 8 March 2006 diff hist +1,694 N Generalised algebraic datatype New page on genaralised abstract datatypes, referring to the original HaskellDB paper as a case study, Phantom types, relatedness to Dependent types. More general ,terms in other terms'
- 16:35, 7 March 2006 diff hist +1,460 Combinatory logic Adding new links to introductory materials, two new illative combinatory logic links, and an ,,inner'' link to Haskell Wiki's Linguistics page
- 12:38, 7 March 2006 diff hist -1 m Applications and libraries/Linguistics Updating a link to an online CiteSeer book: choosing a better available mirror
- 11:39, 7 March 2006 diff hist +38 Applications and libraries/Linguistics Categorising under Category:Theoretical foundations
- 11:30, 7 March 2006 diff hist -384 Applications and libraries Moving some of the contents of ,,Natural language processing'' section to the new Linguistics page, leaving only the directly Haskell-related materials (e.g. dowloadable sources) here
- 11:24, 7 March 2006 diff hist +4,270 N Applications and libraries/Linguistics Moving some of the contents of Libraries and tools ,,Natural language processing'' section to here, leaving only the directly Haskell-related materials there
- 08:10, 7 March 2006 diff hist +83 Applications and libraries Creating new page Linguistics
- 12:56, 6 March 2006 diff hist +58 Dependent type Replacing the Smart constructors link with Type link. So the reference became more general, because Smart constructors can be reached from Type
- 11:34, 6 March 2006 diff hist +243 m Dependent type Specifying exactly which papers are meant as I referred to HaskelDB
- 11:00, 6 March 2006 diff hist +163 Dependent type Referring to HaskelDB, as a practical case study on the usefulness of such idioms (i.e. those related to simulating dependent types)
- 10:35, 6 March 2006 diff hist +61 Dependent type Adding a new section ,,Simulating them [dependent types in Haskell]''. Links to wikipages: how to achieve static type checks instead of runtime assertions. Link to Smart constructors wikipage
- 01:50, 6 March 2006 diff hist +208 Combinatory logic Adding links to quine pages (e.g. that of Wikipedia) and mentioning book on meta-level architectures and reflection
- 01:31, 6 March 2006 diff hist 0 m Category:Theoretical foundations Stressing, that the existence of self-replicating is not a trivial thing
- 01:26, 6 March 2006 diff hist +940 N Category:Theoretical foundations Subcategorizing the new category directly under the root category, and writing an introductory text: science vs technique
- 23:34, 5 March 2006 diff hist +38 Combinatory logic Categorizing this article under ,,Theoretical foundations''
- 23:27, 5 March 2006 diff hist +38 Dependent type Categorizing this article, creating a new category ,,Theoretical foundations''
- 09:27, 5 March 2006 diff hist +3 m Books Typographic corrections in sections ,,Separation of concerns'' and ,,Categorical programming''
- 09:18, 5 March 2006 diff hist +436 Books ,,Separation of Concerns'' section ,,Attribute grammars'' subsection provides links to these related concepts: 1) catamorphism 2) circular programming
- 17:34, 4 March 2006 diff hist +2,055 Combinatory logic The idea of building a CL metacircular interpeter: implementing CL in itself. Problems in formulating algorithm for lazy evaluation in CL
- 01:11, 4 March 2006 diff hist +410 Combinatory logic Link to G.J. Chaitins's book ,,The Unknowable'' (the limits of mathematics: Goldel's undecidable, Turing's uncompatiblity, Chaitin's randomness. On future and beuty of science
- 00:41, 4 March 2006 diff hist +8,315 Combinatory logic The concept of ,,self replicating programs'' (quines) described, then generalized to pure combinatory logic and lambda-calculus. Background references. Concept of quotation / representation
- 15:39, 3 March 2006 diff hist +1,374 Combinatory logic Adding the new section ,,Base'', containing now some thoughts on other interpretations of base combinators K and S
- 14:28, 3 March 2006 diff hist +37 m Combinatory logic Some layout improvements with more appropriate horizontal spacings
- 14:22, 3 March 2006 diff hist +539 m Combinatory logic Typesetting all combinators with boldface uniformly, so that they can be distiguished easily from variables and (other) metasigns
- 13:13, 3 March 2006 diff hist +10 m Combinatory logic better layout for opreration ,,maybe->>='' by reducing space between hyphen and greater-than-sign
- 11:03, 3 March 2006 diff hist +3,469 Combinatory logic Maybe as a monad: implementing the monadic operations of Maybe in Combinatory logic
- 21:47, 2 March 2006 diff hist 0 m Combinatory logic Word order misplacement corrected
- 21:44, 2 March 2006 diff hist +48 m Combinatory logic Stylistic clarifying: only one of the Maybe-constructors is common with an Either-constructor
- 21:17, 2 March 2006 diff hist +896 Combinatory logic Implementing Maybe in CL in continuation passing style
- 20:48, 2 March 2006 diff hist +234 Combinatory logic What reductions do we expect from a lambda-calculus-like implementation of lists?
- 18:30, 2 March 2006 diff hist +3,201 User talk:EndreyMark Answer -- Categorising and linking pages ,,Combinatory logic'' and ,,Dependent types'' current
- 17:56, 2 March 2006 diff hist +325 m User:EndreyMark Refining
- 17:23, 2 March 2006 diff hist +5,164 User:EndreyMark Reply to Don Stewart's letter on categorising and linking pages ,,Combinatory logic'' and ,,Dependent types''
- 16:58, 2 March 2006 diff hist +2 m Applications and libraries Correcting misstyped name of Applicative Universal Grammars in Section ,,Cognitive Science''/,,Natural Language Processing''
- 14:48, 2 March 2006 diff hist +22 m Applications and libraries How to convert sourse code found in ,,Mark P. Jones', Paul Hudak's and Sebastian Shaumyan's Using Types to Parse Natural Language'' from Gofer to GHC
- 14:30, 2 March 2006 diff hist +2 m User:EndreyMark Updating links to redirected pages
- 00:31, 2 March 2006 diff hist +1 m Future of Haskell Another link to redirected page updated
- 00:27, 2 March 2006 diff hist +1 m Future of Haskell Updating link to ,,Dependent types'' wiki page according to its redirection
- 00:06, 2 March 2006 diff hist -17 m Combinatory logic Using same label as target for wiki links
- 00:05, 2 March 2006 diff hist -19 m Dependent type Using same label as target for wiki links
- 23:54, 1 March 2006 diff hist +20 m Dependent type Combinatory Logic as piped link
- 23:51, 1 March 2006 diff hist +18 m Combinatory logic Dependent Types as piped link
- 20:10, 1 March 2006 diff hist +1,028 Combinatory logic Implementing direct sum in CL in a continuation passing style way
- 18:14, 1 March 2006 diff hist 0 m Combinatory logic Link from CombinatoryLogic back to DependentTypes (so the circular linking is established)
- 18:10, 1 March 2006 diff hist +316 Combinatory logic the ,,not'' operation on Booleans as example for usefulness of ordered pair (direct product) construct
- 17:50, 1 March 2006 diff hist +133 m Combinatory logic Introducing the list-as-implementation-of-monad's-interface idea in a more clear way
- 17:47, 1 March 2006 diff hist +49 m Combinatory logic Curry's deferred combinators are denoted by indexing AND parantheses
- 17:23, 1 March 2006 diff hist +1 m Combinatory logic Missing space character inserted
- 17:19, 1 March 2006 diff hist +441 Dependent type Links on Curry-Howard isomorphism added to ,,Concept'' section / ,,TypeTheory'' subsection
- 16:48, 1 March 2006 diff hist 0 m Dependent type ,,Illative'' misstype corrected
- 16:46, 1 March 2006 diff hist +271 Dependent type Refining the structure: adding subsections ,,General'' to ,,Concept'', ,,Other Techniques'' to ,,Languages''
- 16:23, 1 March 2006 diff hist -6 m Dependent type Using level 1 headlines for top-level structuring, according to HaskellWiki:Guidelines
- 16:12, 1 March 2006 diff hist +1 m Future of Haskell possessive suffix
- 16:03, 1 March 2006 diff hist +836 m Combinatory logic Link to a combinatory logic interpreter (Hungarian-language-documented, Haskell-implemented)
- 15:27, 1 March 2006 diff hist +3 m Dependent type Link to Combinatory Logic wiki page
- 15:25, 1 March 2006 diff hist +1,576 Combinatory logic ->Illative Combinatory Logic section with some dreams and a tutorial added
- 14:52, 1 March 2006 diff hist 0 m Books nicer layout of the previously corrected link
- 14:47, 1 March 2006 diff hist +123 m Books Correcting broken link to Jeroen Fokker's Functional Programming
- 14:30, 1 March 2006 diff hist +11 m Dependent type table of contents
- 14:28, 1 March 2006 diff hist +29 Dependent type
- 14:18, 1 March 2006 diff hist -12 m Future of Haskell Seamless link connections between the separate Dependent Types wikipage and Haskell Future page
- 14:00, 1 March 2006 diff hist -1,284 Future of Haskell Moving the details of the Dependent Types item to a separate DependentTyes wikipage, leaving only a link and an abstract-like short description here
- 13:56, 1 March 2006 diff hist +1,759 N Dependent type The details of the Dependent Types item of Haskell Furure page has been moved here
- 13:28, 1 March 2006 diff hist +20 User:EndreyMark Creating a separate page for Dependent types, for being able to move Haskell Furure's dependent type details there
- 13:15, 1 March 2006 diff hist +7,383 N Combinatory logic Monadic programming in Combinatory Logic: the idea described and the most important prerequisits too
- 08:13, 1 March 2006 diff hist +53 User:EndreyMark First reference -- also: creating it -- a CombinatoryLogic page
- 16:15, 28 February 2006 diff hist +1 m Future of Haskell Plurality suffix added
- 16:10, 28 February 2006 diff hist +172 Future of Haskell The concept of views provided by dependent types are not-forgetful: they ,,cannot lie''
- 15:03, 28 February 2006 diff hist +248 m Future of Haskell Updating a broken link to the Views Proposal, adding a new link on views and mentioning its relatedness to dependent types. Adding an IMHO-phrase to the section on dependent types and Illative CL
- 14:31, 28 February 2006 diff hist +439 Future of Haskell Using formulas to express correspondance between dependent types (of Epigram) and G combinator of Illative Combinatory Logic
- 22:12, 27 February 2006 diff hist +246 m Books Referring to introductory category logic materials in the foreword part of the ,,Categorical Programming'' section
- 21:38, 27 February 2006 diff hist +621 Books ,,Categorical Programming'' section added after the ,,Separation of Concerns'' section: catamorphisms etc.
- 13:21, 27 February 2006 diff hist +245 Applications and libraries Adding a portal-like rich material list on Exact Computation (Exact Real Arithmetic) to ,,Numerical algorithms and mathematics'' section
- 12:43, 27 February 2006 diff hist +219 Applications and libraries Restructuring ,,Cognitive Science'' section by lifting ,,Genetic Programming'' and ,,Natural Language Processing'' to its subsection level
- 12:13, 27 February 2006 diff hist +261 Applications and libraries Adding Peter Ljunglöf's portal-like rich publication list to ,,Cognitive Science'' section, NLP subsection
- 11:56, 27 February 2006 diff hist +60 Applications and libraries Context of the previously added article
- 11:51, 27 February 2006 diff hist +148 Applications and libraries Adding Gordon J. Pace' ,,Monadic Compositional Parsing with Contex Using Maltese as a Case Studyt'' to ,,Cognitive Science'' section, ,,Natural Language Processing'' subsection
- 08:46, 27 February 2006 diff hist +2,028 Books Adding new section ,,Separation of Concerns'', concerning AOP, containing arrows, attribute grammars, catamorhisms
- 10:34, 19 February 2006 diff hist +62 N User:EndreyMark link to the HaWIki personal page
- 12:48, 18 February 2006 diff hist +535 Future of Haskell Connections between: (1) dependent types; (2) views; (3) combinator G of Illative Combinatory Logic
- 14:31, 16 February 2006 diff hist +387 Future of Haskell Adding item on languages relating to dependent types: (1) Epigram (a language, and a radical platform for experimenting), (2) John Huges's article on extending Haskell with dependent types
- 00:20, 12 February 2006 diff hist +294 Applications and libraries Tools, algorithms, frameworks concerning Cognitive Science == ,,Genetic Programming, AI, Natural Language Processing'' section renamed for ,,Cognitive Science'', + a new Genetic Algorithms item added
- 16:09, 10 February 2006 diff hist +1,083 Applications and libraries Linking articles on the aplications of Haskell or combinatory logic in linguistics
- 12:42, 10 February 2006 diff hist +1,029 Applications and libraries Adding ,,Shuffle'' (being a Haskell literate programming tool) to the ,,Program Dvelopment'' section's ,,Typesetting Haskell in TeX'' subsection
- 10:26, 10 February 2006 diff hist +826 Applications and libraries Adding an ,,Attribute Grammar'' item to the ,, Compiler and compilation tools'' section
- 00:26, 10 February 2006 diff hist +741 Applications and libraries Adding a ,, Genetic Programming, Artificial Intelligence, Natural Language Processing'' section with two paragraphs
- 22:40, 9 February 2006 diff hist +19 m Applications and libraries GUI's section: wxFruit is _based_ on FRP and arrows and _implemented_ on top of wxHaskell
- 10:41, 9 February 2006 diff hist +456 Applications and libraries Adding Fruit and wxFruit to the ,,Graphical User Interfaces'' section (mentioning as high-level GUI's)
- 10:05, 9 February 2006 diff hist +12 m Applications and libraries In Web/HTM/XML section, the exact webpage adress of Steve Van Hoyweghen's thesis is updated
- 09:52, 9 February 2006 diff hist -1 m Applications and libraries Because of a superfluous space between opening bracket and the URL, the ,,[http://www.fh-wedel.de/~si/HXmlToolbox/ Haskell XML Toolbox]'' wiki-notation appeared unchanged in the HTML-page