User contributions
Jump to navigation
Jump to search
- 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
- 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
- 14:15, 23 May 2006 diff hist +468 Turing machine Links to American Mathematical Society pages, see →Links: and also →Implementations
- 12:21, 23 May 2006 diff hist +825 Turing machine Writing an →Introduction: section. Splitting off a section →Links: . Others: the previous change (Maybe2 expalnation) took part in section →A construct called Maybe2
- 11:50, 23 May 2006 diff hist +458 Turing machine Programming guidelines#Types recommends avoiding Maybe2 x y construct, suggests Maybe (x, y) instead. Turing definition language uses Maybe2, so I explain my motivations to do so.
- 11:02, 23 May 2006 diff hist +7,924 Haskell in education Revert to Don Stewart's 04:10, 25 February 2006 version: restoring the unexplainedly deleted part of this page. I suppose this deletion may have been an accident: deletion's border was inside a word.
- 10:48, 23 May 2006 diff hist +45 Applications and libraries/Editors Link to the recently created Yi wikipage
- 11:00, 22 May 2006 diff hist -6 m Combinatory logic The mentioned link can be found in section →General: . Some minor edits.
- 10:47, 22 May 2006 diff hist +442 Combinatory logic Link to the site ``To dissect a Mockingbird'' -- a graphical notation for combinatory logic. An online, free material. Also some related links.
- 10:10, 17 May 2006 diff hist +707 Turing machine Expressing syntax highlighting information in pure black&white ASCII text: capitalization rules. See →Example: and →Arity (represented with font)
- 00:25, 17 May 2006 diff hist +77 m Turing machine Finer distinction between: (1) Maybe(Just,Maybe)-inspired special state and symbol (2) Maybe2(Just2,Nothing2)-inspired halting solution. See →Arity (represented with font)
- 00:02, 17 May 2006 diff hist +1 m Turing machine Human spell-check after ispell: ``chasing'' --> ``choosing''
- 23:56, 16 May 2006 diff hist -1,621 m Turing machine Spell check with ispell + some typos in Haskell examples
- 23:37, 16 May 2006 diff hist +58 Turing machine In →Language: , a trick with type synonyms and Maybe is accompanied with a better naming convention. Refining accordingly section →Discernable non-emptyness: special state, special symbol
- 23:21, 16 May 2006 diff hist +1,447 Turing machine In →Example: extending syntax highlighting: arity (of commands and state/symbol/action constructors) is represented by font type. →Arity (represented with font)
- 10:04, 12 May 2006 diff hist +23 m Dependent type More precise location of a link to Future#Extensions of Haskell in section →Eptigram
- 09:49, 12 May 2006 diff hist +191 Applications and libraries/Linguistics →Other functional or Haskell-related approaches to linguistics: : A link back to Dependent type#Type theory
- 09:38, 12 May 2006 diff hist 0 m Dependent type sentence-style capitalization of headlines
- 09:36, 12 May 2006 diff hist +524 Dependent type In section →Type theory: An approach to the concept of dependent type and Curry-Howard isomorphism: dicussed in the context of linguistics!
- 20:19, 11 May 2006 diff hist +266 Applications and libraries/Linguistics Adding another link from Aarne Ranta's homepage: among others, online course slides
- 19:58, 7 May 2006 diff hist -2 m Talk:Recursive function theory typographic correction current
- 21:06, 6 May 2006 diff hist +168 m Recursive function theory typographic corrections, formatting, some more words at not-clear sentences
- 17:14, 6 May 2006 diff hist +59 m Recursive function theory Making reference to fixed point theorem a link (to the appropriate section of David Madore's Selfrep/Quine page)
- 17:02, 6 May 2006 diff hist +1,195 Recursive function theory New section →Notations: , with also some remarks on type safety relating to partial functions
- 16:34, 6 May 2006 diff hist +268 Recursive function theory Lack of variables gives a feeling resembling to pointfree style
- 16:10, 6 May 2006 diff hist +844 Talk:Recursive function theory Self-containedness and motivations
- 15:32, 6 May 2006 diff hist +1,078 Recursive function theory Rewriting a section and renaming it to →Motivations: . It discusses the (mainly only indirect) relatedness of this page to Haskell.
- 07:56, 5 May 2006 diff hist +398 Generalised algebraic datatype Copying a link from Research papers/Type systems#Generalised Algebraic Data Types to here in section →Papers: (a paper on translating GADT's to system F)
- 19:20, 2 May 2006 diff hist +21 m Existential type →Generalised algebraic datatype: : More exact citing the example from the Generalised algebraic datatype#Motivation example page
- 18:58, 2 May 2006 diff hist +292 Existential type Adding a new section →Trac: which contains links to Trac pages on existential types
- 18:42, 2 May 2006 diff hist +1 m Keywords Update link to Smart constructors, following redirection
- 18:39, 2 May 2006 diff hist +1 m Type Update link to Smart constructors, following redirection