User contributions
Jump to navigation
Jump to search
- 17:59, 11 June 2006 diff hist +365 Arrow →Automaton: Referring to Wikipedia articles (Finite state machine) and (Automata theory)
- 17:44, 11 June 2006 diff hist +659 Arrow (1) →Library: : a) the standard library Control.Arrow b) and also an extension, too. (2) →Examples: introductory text
- 17:21, 11 June 2006 diff hist +799 Arrow Better structure and more links
- 16:20, 11 June 2006 diff hist +28 Attribute grammar Categorize also under Category:Compiler tools (because the Attribute Grammar Compiler tool of the Essential Haskell Compiler project)
- 16:17, 11 June 2006 diff hist +21 Separation of concerns Categorizing under Category:Idioms
- 16:13, 11 June 2006 diff hist +85 m Arrow Using {{Standard class ...}} template for arrows
- 16:09, 11 June 2006 diff hist +446 N Separation of concerns →Introduction: The most important links to Haskell-related papers in this topic, →Related concepts: links to monad and arrow and attribute grammar
- 15:50, 11 June 2006 diff hist +143 Arrow →Introduction: links copied from Books and tutorials/Using Arrows
- 15:47, 11 June 2006 diff hist +19 m Books →Using Arrows: ArrowsIntroduction is a Monad.Reader article, not a HaWiki contribution
- 15:38, 11 June 2006 diff hist +42 m Books →Using Monads: gives a link to Monad HaskellWiki page
- 15:34, 11 June 2006 diff hist +137 Books →Using Arrows: Add one more HaWiki article on arrows, and refer to the separate Arrow HaskellWiki page
- 15:28, 11 June 2006 diff hist +8 m Attribute grammar Initiating new page Separation of concerns
- 15:23, 11 June 2006 diff hist +3 m Lucid grammar correction
- 15:22, 11 June 2006 diff hist +394 Lucid →Implementation: A Lucid example (moving average) which is tested by the fast-food implementation
- 14:53, 11 June 2006 diff hist 0 m Lucid typographic corrections
- 14:45, 11 June 2006 diff hist +253 Lucid Link to a dataflow programming paper based on the concept of comonads
- 14:27, 11 June 2006 diff hist +5 m Lucid (1) typographic corrections (2) formatting word arrow as link to Arrow page
- 14:25, 11 June 2006 diff hist +1,219 Lucid →Introduction: and /Details*/: good introductory materials, and a detailed language description on this dataflow programming language
- 13:46, 11 June 2006 diff hist +522 N Lucid Having moved Lucid material from Arrow
- 13:45, 11 June 2006 diff hist -197 Arrow →Dataflow languages: writing an introdctory text with referring to Ross Patersons' Arrow and Computations, and moving Lucid material to a separate page
- 13:35, 11 June 2006 diff hist +77 N File:Test.lhs Testing Lucid prograaming language implementation by straightforward examples current
- 13:33, 11 June 2006 diff hist +68 N File:Lucid.lhs Mimick dataflow programming in a way as approached in Lucid language current
- 13:32, 11 June 2006 diff hist +1,288 N Arrow →Introducton: and →Examples: : most important introductory materials and examples: arrow parser, mimicking dataflow programming
- 12:40, 11 June 2006 diff hist +518 Attribute grammar →Separation of concerns: connections between monads, arrows and attribute grammars
- 12:27, 11 June 2006 diff hist +828 Attribute grammar Having moved description of Swiestra's ``Why Attribute Grammars Matter'' article from Circular programming to here
- 12:24, 11 June 2006 diff hist -719 Circular programming Moving description of Swiestra's ``Why Attribute Grammars Matter'' article to Attribute grammar
- 20:15, 7 June 2006 diff hist +1 m Mathematics one typogrphic correction left out
- 20:14, 7 June 2006 diff hist +26 m Mathematics Type-check with ispell, somewhat better phrases, a little more detail in an example
- 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