User contributions
Jump to navigation
Jump to search
- 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