User contributions
Jump to navigation
Jump to search
- 11:35, 7 June 2006 diff hist +5 m Attribute grammar /*Related concepts/* More precise location of a link
- 11:28, 7 June 2006 diff hist +4 m Mathematics Formatting word (a title) better
- 11:24, 7 June 2006 diff hist +201 Mathematics →General: Adding link to Wikipedia's Mathematics article, and some words about it
- 10:52, 7 June 2006 diff hist +63 m Mathematics Forgotten link to online book
- 10:44, 7 June 2006 diff hist +574 Mathematics →General: G.J. Chaitin: ``The Unknowable''. Copying link from Combinatory logic#Self-replication, quines, reflective programming
- 10:37, 7 June 2006 diff hist +38 Mathematics Categorizing under Category:Theoretical foundations
- 10:35, 7 June 2006 diff hist +384 N Mathematics →General: Paul Taylor: Practical Foundations of Mathematics. →Topics: : reference to various branches of mathematics
- 10:29, 7 June 2006 diff hist +63 m Books →Foundations: referring to newborn page Mathematics
- 10:22, 7 June 2006 diff hist +4 m Combinatory logic Initiating new page Mathematics. Mainly it is Paul Taylor's ``Practical Foundations of Mathematics'' book (found in Books and tutorials# Foundations that forced me to create this new page.
- 10:16, 7 June 2006 diff hist +9 m Category theory Table of contents
- 10:14, 7 June 2006 diff hist +20 m Attribute grammar Formatting word ``catamorphism'' as a link to Category theory
- 10:11, 7 June 2006 diff hist +360 Category theory →Foundations: Copying reference of Toposes, Triples and Theories from Books and tutorials#Foundations here
- 10:08, 7 June 2006 diff hist +19 m Books It seems that category pages cannot linked indirectly because of their special meaning. Linking Special:Categories instead.
- 10:02, 7 June 2006 diff hist +118 m Books →Foundations: referring to Category:Theoretical foundations category.
- 09:49, 7 June 2006 diff hist +1,464 N Category theory Including Books and tutorials#Categorical programming into here.
- 09:43, 7 June 2006 diff hist -1,320 Books Moving contents of →Categorical programming: to a newborn page Category theory#Categorical programming
- 15:46, 5 June 2006 diff hist +1 m Circular programming typographic correction
- 15:40, 5 June 2006 diff hist +66 m Attribute grammar →Related concepts: a new section, linking back to Circular programming
- 15:35, 5 June 2006 diff hist +9 m Attribute grammar Table of contents
- 15:32, 5 June 2006 diff hist +4 m Combinatory logic Other links updated
- 15:30, 5 June 2006 diff hist +4 m Combinatory logic Update a link because of the newly crated page Attribute grammar
- 15:24, 5 June 2006 diff hist +252 Circular programming Structuring contents: (1) adding table-of-contents (2) splitting the material to more sections
- 15:04, 5 June 2006 diff hist +12,966 Circular programming →Porting from HaWiki's CircularProgramming: but only my writings are ported, because I do not know the copyright status of the other contributions
- 14:02, 5 June 2006 diff hist -1 m Attribute grammar typographic correction
- 14:01, 5 June 2006 diff hist +1,147 N Attribute grammar Including contents from Books and tutorials#Attribute grammars, with straightforward modifications (some links are updates)
- 13:56, 5 June 2006 diff hist -738 Books →Attribute grammars: : moving its content to the Attribute grammar page
- 13:36, 5 June 2006 diff hist +175 N Circular programming (1) Link to HaWiki's CircularProgramming (2) Initiating Attribute grammar page
- 13:31, 5 June 2006 diff hist -27 m Turing machine Initiating a Circular programming page
- 02:01, 30 May 2006 diff hist +17 m Turing machine In →Tagging structure: section: format the word CPS as a link to the Continuation page
- 14:42, 25 May 2006 diff hist -1 m Help talk:Contents Remove dummy edit
- 14:41, 25 May 2006 diff hist +1 m Help talk:Contents ``Thus undoing Aff's 12:52, 25 May 2006 version'' -- I mean. I mistyped the date.
- 14:34, 25 May 2006 diff hist -65,329 Help talk:Contents Revert to Don Stewart's 02:16, 25 May 2006 version, thus undoing Aff's 02:16, 25 May 2006 version: many-many invisible links looking like if they were generated systematically
- 14:26, 25 May 2006 diff hist +329 Continuation →Continuation monad: : links to HaWiki pages + a Python generator example
- 09:33, 25 May 2006 diff hist +437 Continuation →Functional metaphors: Adding HaWiki's short description, which can be important at managing cases, alternatives
- 01:31, 25 May 2006 diff hist +3 m Continuation Typographic corrections: (1) spell-check with ispell; (2) using <hask> instead of <code> at all _Haskell_ examples, even if no visual difference can be seen. Scheme examples remain between <code>'s
- 20:40, 24 May 2006 diff hist +239 Continuation →Citing haskellized Scheme examples from Wikipedia: fixing a mistyped link (I mixed up Wikipedia's two articles on CPS) and more exact description about the modifications in the quoted text
- 20:06, 24 May 2006 diff hist +18 m Continuation Small formattings in the recently added section →More general examples
- 19:33, 24 May 2006 diff hist +19 m Continuation Usng hand-made term ``non-continuation argument''
- 19:28, 24 May 2006 diff hist +1,048 Continuation Showing examples, where the type of the argument of the discussed function and type of the argument of the continuation do not coincide: CPS-ized length
- 18:32, 24 May 2006 diff hist +102 N File:Continuation.hs WikiPedia's ``Continuation'' article, ``Examples'' section. The Scheme examples translated to Haskell. current
- 18:29, 24 May 2006 diff hist +125 Continuation Making the Haskell example downloadable: Continuation.hs
- 18:10, 24 May 2006 diff hist +2,384 Continuation →Citing haskellized Scheme examples from Wikipedia: Quoting Wikipedia's Continuation#Examples, but Scheme examples are translated to Haskell, and some straightforward modifications are made
- 14:52, 24 May 2006 diff hist +414 Continuation (1) →Imperative metaphors: split off from →Functional metaphors: (2) Adding Daume III's ``what to do next'' metaphor.
- 14:25, 24 May 2006 diff hist +11 m Continuation /*Powerful metaphors, images* other better localization of links: linking directly the cited sections
- 14:20, 24 May 2006 diff hist +10 m Continuation Link directly to the referred-to section in David Madore's call/cc homepage
- 14:18, 24 May 2006 diff hist +450 Continuation →Powerful metaphors, images: Adding David Madore's ``dynamic goto'', ``label for goto'' metaphor
- 13:57, 24 May 2006 diff hist +514 Continuation →Powerful metaphors, images: : concise descriptions or illustratiing metaphoras, a collection of citing quotations
- 13:31, 24 May 2006 diff hist +95 Continuation Wikipedia has both ``Continuation'' and ``Continuation-passing style'' pages
- 13:11, 24 May 2006 diff hist +1,191 N Continuation (1) Links to →General or introductory materials: on the concept itself. (2) Links describing the →Continuation monad
- 12:25, 24 May 2006 diff hist +4 Combinatory logic In section →Base: , creating new page Continuation by making a world to a link