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