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