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