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