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