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