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