User contributions
Jump to navigation
Jump to search
- 09:23, 23 April 2006 diff hist +8 m Computer science Creating new wikipage Recursive function theory by making this word a link to it
- 03:05, 23 April 2006 diff hist +700 Turing machine More precise description of the requirement →Discernable non-emptyness: special state, special symbol
- 02:29, 23 April 2006 diff hist +1,697 Turing machine Adding new section: →Variants: of defining the concept of Turing machine
- 23:00, 22 April 2006 diff hist +29 m Turing machine typos, and Prolog terminology mistake correction
- 22:15, 22 April 2006 diff hist +4,306 N Turing machine Plans for designing a programming language, which allows us to experiment with the main concepts of Turing machines. Syntax by examples, and some thoughts on the Haskell implementation
- 19:44, 22 April 2006 diff hist +1,319 Computer science New section →To do: : implementing the different approaches of concept of algorithm as programming languages, and using them in teaching foundations of mathematics and metaprogramming
- 17:00, 22 April 2006 diff hist 0 m Computer science Changing the order of the table-of-contents and the Dijkstra-motto
- 16:57, 22 April 2006 diff hist +162 Computer science Motto: Computer Science is no more about computers than astronomy is about telescopes. Motto: ,,Computer Science is no more about computers than astronomy is about telescopes'' by E. W. Dijkstra
- 16:48, 22 April 2006 diff hist +135 Exact real arithmetic Why the chosen functional language of Martín Escardó's exact real arithmetic calculator project is Haskell
- 14:10, 22 April 2006 diff hist +20 m Computer science add headline ,,Introduction''
- 14:08, 22 April 2006 diff hist +196 m Computer science A link back to Exact real arithmetic -- in fact, it was this topic that forced me to create the separate ,,Computer science'' wikipage (with section ,,Computability theory'').
- 13:51, 22 April 2006 diff hist +47 m Computer science Categorizing: Category:Theoretical foundations. Table of contents.
- 13:49, 22 April 2006 diff hist +576 N Computer science Filling with the most important links. Originally it was Martín Escardó's Computer Science page which made me to create a wikipage on this topic.
- 13:35, 22 April 2006 diff hist -20 Exact real arithmetic Martín Escardó's page on computer science (in general) and other materials make it appropriate to establish a separate Haskell Wiki page on Computer science.
- 13:16, 22 April 2006 diff hist +421 Exact real arithmetic Links: (1) Martín Escardó's project and papers; (2) HaWiki's ExactRealArithmetic
- 12:43, 22 April 2006 diff hist +122 m Exact real arithmetic A link back to Libraries and tools/Mathematics. And a (redundant) link to Wikipedia's Computability theory.
- 12:33, 22 April 2006 diff hist +911 Exact real arithmetic What exact real arithmetic is NOT: _fixed_ arbitrary precision decimals.
- 11:25, 22 April 2006 diff hist +1,087 N Exact real arithmetic or ,,computable reals'', a topic embracing analysis, arithmetic, computability. Introductory text, and links: 1) Vuillemin's strong theoretical foundation article 2) Exact Computation, a portal-like
- 11:00, 22 April 2006 diff hist +285 Applications and libraries/Mathematics This is a huge topic embracing many different approaches, and raises questions rooted deeply in computabibity theory, so it deserves its own wikipage
- 08:30, 18 April 2006 diff hist -6 m Zipper monad Updating links to Zipper, according to its un-camelcase redirection
- 13:53, 3 April 2006 diff hist +2 m Applications and libraries/Database interfaces/HaskellDB typographic correction
- 00:55, 2 April 2006 diff hist +9 m Applications and libraries/Database interfaces More clear phrasing: HaskellDB has an own wikipage on Haskell Wiki
- 00:36, 2 April 2006 diff hist +97 m Generalised algebraic datatype A link back to Libraries and tools/Database interfaces/HaskellDB
- 00:23, 2 April 2006 diff hist +167 Extensible record A link back to Libraries and tools/Database interfaces/HaskellDB -- the problem described in the pointed-to page can bee seen as a case study
- 00:11, 2 April 2006 diff hist +10 m Applications and libraries/Database interfaces/HaskellDB a typographic correction and a more precise phrase (,,domain specific embedded'')
- 00:02, 2 April 2006 diff hist +2,078 N Applications and libraries/Database interfaces/HaskellDB General description + new links. The main motivation for creating this page was that more new materials appeared on HaskelDB which cannot be easily found from the well-known HaskellDB pages.
- 23:23, 1 April 2006 diff hist +217 Applications and libraries/Linguistics Adding pages ,,Grammatical Framework'' and ,,Functional Morphology''
- 21:56, 1 April 2006 diff hist +57 Applications and libraries/Database interfaces Because there are more materials on HaskellDB than its two official home, so I create a separate wikipage for it: Libraries and tools/Database interfaces/HaskellDB
- 09:29, 1 April 2006 diff hist +7 m Applications and libraries/Theorem provers Making the word ,,language'' to a link (to Linguistics)
- 09:24, 1 April 2006 diff hist +197 Applications and libraries/Theorem provers At the description of DEMO, mentioning the other dynamic epistemic logic materials written by the same author, and giving a link there
- 09:11, 1 April 2006 diff hist +11 m Applications and libraries/Linguistics Using == .. == for top-level headlines, following the Guidelines
- 09:08, 1 April 2006 diff hist +234 Applications and libraries/Linguistics DEMO lead me to a huge homepage on logic + language: e.g. computational linguistics and epistemic logic etc., so I put a link to it
- 08:09, 1 April 2006 diff hist +4 m Applications and libraries/Web programming Small layout improvement by typesetting the reference to a general concept with italic
- 08:05, 1 April 2006 diff hist +360 Applications and libraries/Web programming Adding EdComb also to Libraries and tools/Web programming, because this editor combinator library (primarily mentioned at Libraries and tools/Editors can be used also for building browsers
- 08:02, 1 April 2006 diff hist +10 m Applications and libraries/Editors Not omitting the ,,index.html'' part of the URL
- 07:41, 1 April 2006 diff hist 0 m Type Converting the Type#See also section to use sentence-style capitalization, because a link pointing to this section is of sentence-style, too.
- 07:33, 1 April 2006 diff hist +112 Dependent type Linking with other wikipage: (1) a link back to Libraries and tools/Theorem provers (2) A more precise link (anchored to a section) to Type#See also
- 07:19, 1 April 2006 diff hist +3 m Dependent type typographic corrections
- 07:17, 1 April 2006 diff hist +2 m First-class module typographic corrections
- 21:28, 31 March 2006 diff hist +77 Dependent type The description of Epigram got a link to Libraries and tools/Theorem provers, because that page also mentions Epigram
- 21:23, 31 March 2006 diff hist +24 m Dependent type Using == ... == as top level headlines (according to HaskellWiki:Guidelines#Headlines)
- 21:15, 31 March 2006 diff hist +19 m Applications and libraries/Theorem provers The description of Epigram mentions the concept of dependent type, so I have made a link to Dependent type
- 09:06, 29 March 2006 diff hist +570 Analysis and design PURe Project contains Camila, so first I must mention PURe Project, and then Camila as an example
- 08:33, 29 March 2006 diff hist +143 Applications and libraries/Program development Adding a ,,Formal methods'' section, with links to Analysis and design and to Libraries and tools/Theorem provers
- 08:21, 29 March 2006 diff hist +86 Applications and libraries/Theorem provers Adding link to the new Analysis and design page from the description of Camila
- 08:16, 29 March 2006 diff hist +1,894 N Analysis and design Creating the page with FAD and Camila
- 08:05, 29 March 2006 diff hist -1,330 Books Making a link to a new Analysis and design page for Camila (seen on page Librares and tools/Therem provers) and FAD (seen here) and moving the description of FAD from here to there
- 10:15, 28 March 2006 diff hist 0 m Dependent type typographic correction
- 10:06, 28 March 2006 diff hist 0 m Combinatory logic typographic correction
- 10:02, 28 March 2006 diff hist +514 Combinatory logic (1) Self-creating and conscience: Adding links to theoretical biology -- annotations and ToC of Maturana & Varela's books: Autopoesis & Tree of Knowledge. (2) Some typographic corrections too
- 09:00, 28 March 2006 diff hist +190 m Generalised algebraic datatype Making a link more precise: linking directly to the approporate section of the page instead to the top of the page
- 08:48, 28 March 2006 diff hist +148 m Generalised algebraic datatype Paraphrasing some sentences to achieve better clarity
- 10:26, 26 March 2006 diff hist +5 m First-class module typographic corrections
- 01:33, 26 March 2006 diff hist +151 Applications and libraries Adding link to Ralf Hinze's Haskell software page in the {Collections of libraries} section
- 01:17, 26 March 2006 diff hist +1 m Generalised algebraic datatype typographic corrections
- 21:29, 25 March 2006 diff hist +4 m Generalised algebraic datatype Sorry -- of course I meant ,,Generalised algebraic datatype''
- 21:19, 25 March 2006 diff hist -1 m Type Updatink link to Generalised abstract datatype, following its redirection
- 21:15, 25 March 2006 diff hist +44 N Generalised algebraic datatypes Generalised algebraic datatypes moved to Generalised algebraic datatype: Existential type, Type, Phantom type, Unboxed type has also followed the Wikipedia guideline's topical vs item list distinction
- 21:15, 25 March 2006 diff hist 0 m Generalised algebraic datatype Generalised algebraic datatypes moved to Generalised algebraic datatype
- 21:07, 25 March 2006 diff hist +56 m First-class module Splitting the page into two titled sections (,,Haskell proposal'' vs ,,Other examples'')
- 20:54, 25 March 2006 diff hist +519 N First-class module Creating the page with the description of concepts which forced me to create this page: Cayene language from Dependent types and Mark Shields & Simon Peyton Jones's article from Future
- 20:40, 25 March 2006 diff hist +38 Future of Haskell Link to First-class module page
- 20:38, 25 March 2006 diff hist +792 Dependent type Adding link to Agda and Cayene, as examples of dependently typed languages. Reference to Cayene will create a new First-class module page
- 20:07, 25 March 2006 diff hist 0 m Generalised algebraic datatype Updating link to Dependent type following its redirection
- 20:05, 25 March 2006 diff hist -1 m User:EndreyMark Updating link to Dependent type folowing its redirection current
- 20:03, 25 March 2006 diff hist -1 m Future of Haskell Updating link to Dependent type following its redirection
- 19:58, 25 March 2006 diff hist -1 m Combinatory logic Updating link to Dependent type following its redirection
- 19:53, 25 March 2006 diff hist +28 N Dependent types Dependent types moved to Dependent type: Wikipedia:Naming conventions (categories) advices to make a distinction between - topical lists (name be singular) - list of items (name be plural) in category names which refer to lists. As only few links point to
- 19:53, 25 March 2006 diff hist 0 m Dependent type Dependent types moved to Dependent type
- 19:31, 25 March 2006 diff hist +4 m Applications and libraries/Theorem provers The description of Agda mentioned dependent types, so I made a link to Dependent types wikipage.
- 19:26, 25 March 2006 diff hist +278 Applications and libraries/Theorem provers Adding two links: ,,Paradox'' and ,,Dumatel''
- 19:01, 25 March 2006 diff hist +208 Applications and libraries/Editors Adding notes to EdComb's description: it presents a generalized approach of concept ,,editor''. Its usefullness also as browser.
- 18:20, 25 March 2006 diff hist +342 Applications and libraries/Editors Copying the link to EdComb to here from Libraries and tools. Beacause EdComb can fit to more category (,,Browsers'', ,,Program development''), I haven't removed its link from its original place.
- 18:05, 25 March 2006 diff hist +87 m User talk:Ashley Y Having redolved unknown copyright status
- 17:31, 25 March 2006 diff hist +35 m Applications and libraries/Graphics Giving an indirect link to Libraries and tools/GUI libraries, avoiding the redirection
- 17:24, 25 March 2006 diff hist +1 Applications and libraries/GUI libraries Fixing the link to ,,Embracing Windows'' GUI framework and deleting ,,{{dead link}}'' mark
- 17:06, 25 March 2006 diff hist -22 m Applications and libraries/Genetic programming Having resolved copyright status
- 01:38, 25 March 2006 diff hist -8 m Combinatory logic Deleting a superfluous argument from the type of the ,,interpreter'' function
- 01:08, 25 March 2006 diff hist +2,081 Combinatory logic Terminology and mathematical notation is partly renewed: it can differentiate concepts in a more sophisticated way. New notations are accompanied with expanations and motivations why I chose them
- 23:04, 24 March 2006 diff hist -2 m Combinatory logic typographic corrections
- 17:15, 24 March 2006 diff hist +2 m Combinatory logic Better alignment of the ,,quotation stratfication'' picture
- 16:36, 24 March 2006 diff hist +202 N File:Quot-strat.png The stratification of the series of quotations in representing combiatory logic terms in combinatory logic itself. Useful for building a concept of quines (self-repoducing programs) in combinatory logic current
- 16:33, 24 March 2006 diff hist +2,870 Combinatory logic The stratification of quotation series in writing a CL self-reproducing program (quine). Huge amount of quoting supprts the idea of a lightweight library for CL instead of an interpreter with commands
- 12:32, 24 March 2006 diff hist +671 User talk:Ashley Y Resolving unknown copyright status of Libraries and tools/Genetic programming
- 00:05, 24 March 2006 diff hist +174 Applications and libraries/Operating system (1) Structuring the page: a section for shell link collections, another section for concrete shell examples. (2) Also adding a new link collection for shells.
- 23:31, 23 March 2006 diff hist +347 Applications and libraries/Operating system More Haskell shell links
- 23:00, 23 March 2006 diff hist +277 Applications and libraries/Operating system Adding a link to Haskell Shell (seems to be implemented in Haskell 1.3)
- 19:36, 23 March 2006 diff hist +17 m Humor Enclosing <autrijus>'s name in <nowiki>...</nowiki> tags. Only for logical consistence (no practical significance)
- 19:30, 23 March 2006 diff hist +158 Humor An example quotation from HaWiki's QuotesPage: <autrijus>'s jokeful comparing Perl and Haskell
- 19:01, 23 March 2006 diff hist +65 Humor Added a link to HaWiki's QuotesPage
- 11:13, 23 March 2006 diff hist +241 Applications and libraries/Operating system Having moved GetOpt from the uncategorised section of Libraries and tools to here
- 11:02, 23 March 2006 diff hist -183 Applications and libraries Moving GetOpt from ->Various libraries section to the new subpage ,,Operating system''
- 10:48, 23 March 2006 diff hist +456 N Applications and libraries/Operating system 1) House, a self-standing OS implemented in Haskell 2) HsShellScript, a library for tasks for which we usualy use the shell 3) pure functional shell links
- 10:31, 23 March 2006 diff hist -162 Applications and libraries Moving HsShellScript from the ->Various libaries section to a new Operating system subpage. Another reason for this is that this new page is a natural place for House, hOp, Hilde
- 09:47, 23 March 2006 diff hist -1 m Combinatory logic simulating TeX's displaymath with MediaWiki's indented math (: <math>...</math>) instead of (unordered) lists
- 09:13, 23 March 2006 diff hist +183 Books -> Categorical programming: added a new link to an article mentioning a conjecture on the relatedness of category theory to Combinatory logic
- 08:53, 23 March 2006 diff hist -1 m Combinatory logic 1) typographic correction 2) swapping the order of mailing list references to make a subset-superset order
- 08:45, 23 March 2006 diff hist +407 Combinatory logic Unlambda (a combinaitry logic programming language) resources: 1) a metacircular interpreter 2) an implementation of Unlambda in Haskell
- 10:53, 16 March 2006 diff hist +1 m Extensible record typographic: is > its
- 12:45, 9 March 2006 diff hist -34 m Combinatory logic haskell inline code highlight
- 10:33, 9 March 2006 diff hist +114 m Combinatory logic layout improvements (syntax highlight made some smaller word order changes appropriate) and correcting some typographic or latex errors
- 10:17, 9 March 2006 diff hist +397 m Combinatory logic enabling syntax highlight for the Haskell code examples by paranthesing them by <haskell>...</haskell>
- 21:42, 8 March 2006 diff hist -1 m Extensible record Morrow interpreter seems to be unavailable for download
- 21:31, 8 March 2006 diff hist +143 Extensible record Add a link to the [http://www.cs.uu.nl/~daan/morrow/ Morrow] language, whith interpeter, having extensible records
- 18:14, 8 March 2006 diff hist +585 Extensible record more links
- 17:06, 8 March 2006 diff hist +1,019 N Extensible record Haskell' Wiki, TREX, other proposals
- 15:52, 8 March 2006 diff hist +330 Future of Haskell Adding a link to Mark Shields and Simon Peyton Jones: First-class Modules for Haskell. Others: beginning to create an Extensible record page with a short description of the topic
- 11:55, 8 March 2006 diff hist +38 m Generalised algebraic datatype Separating two linked words with an unlinked one, so that they do not look like one common link
- 11:49, 8 March 2006 diff hist +1,694 N Generalised algebraic datatype New page on genaralised abstract datatypes, referring to the original HaskellDB paper as a case study, Phantom types, relatedness to Dependent types. More general ,terms in other terms'
- 16:35, 7 March 2006 diff hist +1,460 Combinatory logic Adding new links to introductory materials, two new illative combinatory logic links, and an ,,inner'' link to Haskell Wiki's Linguistics page
- 12:38, 7 March 2006 diff hist -1 m Applications and libraries/Linguistics Updating a link to an online CiteSeer book: choosing a better available mirror
- 11:39, 7 March 2006 diff hist +38 Applications and libraries/Linguistics Categorising under Category:Theoretical foundations
- 11:30, 7 March 2006 diff hist -384 Applications and libraries Moving some of the contents of ,,Natural language processing'' section to the new Linguistics page, leaving only the directly Haskell-related materials (e.g. dowloadable sources) here
- 11:24, 7 March 2006 diff hist +4,270 N Applications and libraries/Linguistics Moving some of the contents of Libraries and tools ,,Natural language processing'' section to here, leaving only the directly Haskell-related materials there
- 08:10, 7 March 2006 diff hist +83 Applications and libraries Creating new page Linguistics
- 12:56, 6 March 2006 diff hist +58 Dependent type Replacing the Smart constructors link with Type link. So the reference became more general, because Smart constructors can be reached from Type
- 11:34, 6 March 2006 diff hist +243 m Dependent type Specifying exactly which papers are meant as I referred to HaskelDB
- 11:00, 6 March 2006 diff hist +163 Dependent type Referring to HaskelDB, as a practical case study on the usefulness of such idioms (i.e. those related to simulating dependent types)
- 10:35, 6 March 2006 diff hist +61 Dependent type Adding a new section ,,Simulating them [dependent types in Haskell]''. Links to wikipages: how to achieve static type checks instead of runtime assertions. Link to Smart constructors wikipage
- 01:50, 6 March 2006 diff hist +208 Combinatory logic Adding links to quine pages (e.g. that of Wikipedia) and mentioning book on meta-level architectures and reflection
- 01:31, 6 March 2006 diff hist 0 m Category:Theoretical foundations Stressing, that the existence of self-replicating is not a trivial thing
- 01:26, 6 March 2006 diff hist +940 N Category:Theoretical foundations Subcategorizing the new category directly under the root category, and writing an introductory text: science vs technique
- 23:34, 5 March 2006 diff hist +38 Combinatory logic Categorizing this article under ,,Theoretical foundations''
- 23:27, 5 March 2006 diff hist +38 Dependent type Categorizing this article, creating a new category ,,Theoretical foundations''
- 09:27, 5 March 2006 diff hist +3 m Books Typographic corrections in sections ,,Separation of concerns'' and ,,Categorical programming''
- 09:18, 5 March 2006 diff hist +436 Books ,,Separation of Concerns'' section ,,Attribute grammars'' subsection provides links to these related concepts: 1) catamorphism 2) circular programming
- 17:34, 4 March 2006 diff hist +2,055 Combinatory logic The idea of building a CL metacircular interpeter: implementing CL in itself. Problems in formulating algorithm for lazy evaluation in CL
- 01:11, 4 March 2006 diff hist +410 Combinatory logic Link to G.J. Chaitins's book ,,The Unknowable'' (the limits of mathematics: Goldel's undecidable, Turing's uncompatiblity, Chaitin's randomness. On future and beuty of science
- 00:41, 4 March 2006 diff hist +8,315 Combinatory logic The concept of ,,self replicating programs'' (quines) described, then generalized to pure combinatory logic and lambda-calculus. Background references. Concept of quotation / representation
- 15:39, 3 March 2006 diff hist +1,374 Combinatory logic Adding the new section ,,Base'', containing now some thoughts on other interpretations of base combinators K and S
- 14:28, 3 March 2006 diff hist +37 m Combinatory logic Some layout improvements with more appropriate horizontal spacings
- 14:22, 3 March 2006 diff hist +539 m Combinatory logic Typesetting all combinators with boldface uniformly, so that they can be distiguished easily from variables and (other) metasigns
- 13:13, 3 March 2006 diff hist +10 m Combinatory logic better layout for opreration ,,maybe->>='' by reducing space between hyphen and greater-than-sign
- 11:03, 3 March 2006 diff hist +3,469 Combinatory logic Maybe as a monad: implementing the monadic operations of Maybe in Combinatory logic
- 21:47, 2 March 2006 diff hist 0 m Combinatory logic Word order misplacement corrected
- 21:44, 2 March 2006 diff hist +48 m Combinatory logic Stylistic clarifying: only one of the Maybe-constructors is common with an Either-constructor
- 21:17, 2 March 2006 diff hist +896 Combinatory logic Implementing Maybe in CL in continuation passing style
- 20:48, 2 March 2006 diff hist +234 Combinatory logic What reductions do we expect from a lambda-calculus-like implementation of lists?
- 18:30, 2 March 2006 diff hist +3,201 User talk:EndreyMark Answer -- Categorising and linking pages ,,Combinatory logic'' and ,,Dependent types'' current
- 17:56, 2 March 2006 diff hist +325 m User:EndreyMark Refining
- 17:23, 2 March 2006 diff hist +5,164 User:EndreyMark Reply to Don Stewart's letter on categorising and linking pages ,,Combinatory logic'' and ,,Dependent types''
- 16:58, 2 March 2006 diff hist +2 m Applications and libraries Correcting misstyped name of Applicative Universal Grammars in Section ,,Cognitive Science''/,,Natural Language Processing''
- 14:48, 2 March 2006 diff hist +22 m Applications and libraries How to convert sourse code found in ,,Mark P. Jones', Paul Hudak's and Sebastian Shaumyan's Using Types to Parse Natural Language'' from Gofer to GHC
- 14:30, 2 March 2006 diff hist +2 m User:EndreyMark Updating links to redirected pages
- 00:31, 2 March 2006 diff hist +1 m Future of Haskell Another link to redirected page updated
- 00:27, 2 March 2006 diff hist +1 m Future of Haskell Updating link to ,,Dependent types'' wiki page according to its redirection
- 00:06, 2 March 2006 diff hist -17 m Combinatory logic Using same label as target for wiki links
- 00:05, 2 March 2006 diff hist -19 m Dependent type Using same label as target for wiki links
- 23:54, 1 March 2006 diff hist +20 m Dependent type Combinatory Logic as piped link
- 23:51, 1 March 2006 diff hist +18 m Combinatory logic Dependent Types as piped link
- 20:10, 1 March 2006 diff hist +1,028 Combinatory logic Implementing direct sum in CL in a continuation passing style way
- 18:14, 1 March 2006 diff hist 0 m Combinatory logic Link from CombinatoryLogic back to DependentTypes (so the circular linking is established)
- 18:10, 1 March 2006 diff hist +316 Combinatory logic the ,,not'' operation on Booleans as example for usefulness of ordered pair (direct product) construct
- 17:50, 1 March 2006 diff hist +133 m Combinatory logic Introducing the list-as-implementation-of-monad's-interface idea in a more clear way
- 17:47, 1 March 2006 diff hist +49 m Combinatory logic Curry's deferred combinators are denoted by indexing AND parantheses
- 17:23, 1 March 2006 diff hist +1 m Combinatory logic Missing space character inserted
- 17:19, 1 March 2006 diff hist +441 Dependent type Links on Curry-Howard isomorphism added to ,,Concept'' section / ,,TypeTheory'' subsection
- 16:48, 1 March 2006 diff hist 0 m Dependent type ,,Illative'' misstype corrected
- 16:46, 1 March 2006 diff hist +271 Dependent type Refining the structure: adding subsections ,,General'' to ,,Concept'', ,,Other Techniques'' to ,,Languages''
- 16:23, 1 March 2006 diff hist -6 m Dependent type Using level 1 headlines for top-level structuring, according to HaskellWiki:Guidelines
- 16:12, 1 March 2006 diff hist +1 m Future of Haskell possessive suffix
- 16:03, 1 March 2006 diff hist +836 m Combinatory logic Link to a combinatory logic interpreter (Hungarian-language-documented, Haskell-implemented)
- 15:27, 1 March 2006 diff hist +3 m Dependent type Link to Combinatory Logic wiki page
- 15:25, 1 March 2006 diff hist +1,576 Combinatory logic ->Illative Combinatory Logic section with some dreams and a tutorial added
- 14:52, 1 March 2006 diff hist 0 m Books nicer layout of the previously corrected link
- 14:47, 1 March 2006 diff hist +123 m Books Correcting broken link to Jeroen Fokker's Functional Programming
- 14:30, 1 March 2006 diff hist +11 m Dependent type table of contents
- 14:28, 1 March 2006 diff hist +29 Dependent type
- 14:18, 1 March 2006 diff hist -12 m Future of Haskell Seamless link connections between the separate Dependent Types wikipage and Haskell Future page
- 14:00, 1 March 2006 diff hist -1,284 Future of Haskell Moving the details of the Dependent Types item to a separate DependentTyes wikipage, leaving only a link and an abstract-like short description here
- 13:56, 1 March 2006 diff hist +1,759 N Dependent type The details of the Dependent Types item of Haskell Furure page has been moved here
- 13:28, 1 March 2006 diff hist +20 User:EndreyMark Creating a separate page for Dependent types, for being able to move Haskell Furure's dependent type details there
- 13:15, 1 March 2006 diff hist +7,383 N Combinatory logic Monadic programming in Combinatory Logic: the idea described and the most important prerequisits too
- 08:13, 1 March 2006 diff hist +53 User:EndreyMark First reference -- also: creating it -- a CombinatoryLogic page
- 16:15, 28 February 2006 diff hist +1 m Future of Haskell Plurality suffix added
- 16:10, 28 February 2006 diff hist +172 Future of Haskell The concept of views provided by dependent types are not-forgetful: they ,,cannot lie''
- 15:03, 28 February 2006 diff hist +248 m Future of Haskell Updating a broken link to the Views Proposal, adding a new link on views and mentioning its relatedness to dependent types. Adding an IMHO-phrase to the section on dependent types and Illative CL
- 14:31, 28 February 2006 diff hist +439 Future of Haskell Using formulas to express correspondance between dependent types (of Epigram) and G combinator of Illative Combinatory Logic
- 22:12, 27 February 2006 diff hist +246 m Books Referring to introductory category logic materials in the foreword part of the ,,Categorical Programming'' section
- 21:38, 27 February 2006 diff hist +621 Books ,,Categorical Programming'' section added after the ,,Separation of Concerns'' section: catamorphisms etc.
- 13:21, 27 February 2006 diff hist +245 Applications and libraries Adding a portal-like rich material list on Exact Computation (Exact Real Arithmetic) to ,,Numerical algorithms and mathematics'' section
- 12:43, 27 February 2006 diff hist +219 Applications and libraries Restructuring ,,Cognitive Science'' section by lifting ,,Genetic Programming'' and ,,Natural Language Processing'' to its subsection level
- 12:13, 27 February 2006 diff hist +261 Applications and libraries Adding Peter Ljunglöf's portal-like rich publication list to ,,Cognitive Science'' section, NLP subsection
- 11:56, 27 February 2006 diff hist +60 Applications and libraries Context of the previously added article
- 11:51, 27 February 2006 diff hist +148 Applications and libraries Adding Gordon J. Pace' ,,Monadic Compositional Parsing with Contex Using Maltese as a Case Studyt'' to ,,Cognitive Science'' section, ,,Natural Language Processing'' subsection
- 08:46, 27 February 2006 diff hist +2,028 Books Adding new section ,,Separation of Concerns'', concerning AOP, containing arrows, attribute grammars, catamorhisms
- 10:34, 19 February 2006 diff hist +62 N User:EndreyMark link to the HaWIki personal page
- 12:48, 18 February 2006 diff hist +535 Future of Haskell Connections between: (1) dependent types; (2) views; (3) combinator G of Illative Combinatory Logic
- 14:31, 16 February 2006 diff hist +387 Future of Haskell Adding item on languages relating to dependent types: (1) Epigram (a language, and a radical platform for experimenting), (2) John Huges's article on extending Haskell with dependent types
- 00:20, 12 February 2006 diff hist +294 Applications and libraries Tools, algorithms, frameworks concerning Cognitive Science == ,,Genetic Programming, AI, Natural Language Processing'' section renamed for ,,Cognitive Science'', + a new Genetic Algorithms item added
- 16:09, 10 February 2006 diff hist +1,083 Applications and libraries Linking articles on the aplications of Haskell or combinatory logic in linguistics
- 12:42, 10 February 2006 diff hist +1,029 Applications and libraries Adding ,,Shuffle'' (being a Haskell literate programming tool) to the ,,Program Dvelopment'' section's ,,Typesetting Haskell in TeX'' subsection
- 10:26, 10 February 2006 diff hist +826 Applications and libraries Adding an ,,Attribute Grammar'' item to the ,, Compiler and compilation tools'' section
- 00:26, 10 February 2006 diff hist +741 Applications and libraries Adding a ,, Genetic Programming, Artificial Intelligence, Natural Language Processing'' section with two paragraphs
- 22:40, 9 February 2006 diff hist +19 m Applications and libraries GUI's section: wxFruit is _based_ on FRP and arrows and _implemented_ on top of wxHaskell
- 10:41, 9 February 2006 diff hist +456 Applications and libraries Adding Fruit and wxFruit to the ,,Graphical User Interfaces'' section (mentioning as high-level GUI's)
- 10:05, 9 February 2006 diff hist +12 m Applications and libraries In Web/HTM/XML section, the exact webpage adress of Steve Van Hoyweghen's thesis is updated
- 09:52, 9 February 2006 diff hist -1 m Applications and libraries Because of a superfluous space between opening bracket and the URL, the ,,[http://www.fh-wedel.de/~si/HXmlToolbox/ Haskell XML Toolbox]'' wiki-notation appeared unchanged in the HTML-page