User contributions

From HaskellWiki

(Latest | Earliest) View (newer 250) (older 250) (20 | 50 | 100 | 250 | 500)

• 09:58, 17 July 2012 (hist) (diff) m Template:Main/Events‎ (Move "ICFP Programming Contest 2012" from - →Upcoming Events: to - →Recent Events)
• 11:41, 12 July 2012 (hist) (diff) m Template:Main/Events‎ (swap order at the new inserted item)
• 11:39, 12 July 2012 (hist) (diff) Template:Main/Events‎ (ICFP Programming Contest 2012)
• 06:46, 10 December 2010 (hist) (diff) m Arrow‎ (Updating link)
• 12:21, 24 May 2009 (hist) (diff) m Template:Main/Events‎ (More relevant imformation emphasized)
• 12:20, 24 May 2009 (hist) (diff) m Template:Main/Events‎ (shorten)
• 12:19, 24 May 2009 (hist) (diff) m Template:Main/Events‎ (Capitalize)
• 12:19, 24 May 2009 (hist) (diff) m Template:Main/Events‎ (typo)
• 12:17, 24 May 2009 (hist) (diff) Template:Main/Events‎ (ICFP Programming Contest 2009)
• 21:34, 14 March 2009 (hist) (diff) Chaitin's construction‎ (``Workpage template'', warning about missing substantial details) (top)
• 13:52, 5 July 2008 (hist) (diff) m Chaitin's construction‎ (grammar: singular)
• 13:46, 5 July 2008 (hist) (diff) Chaitin's construction‎ (→Eliminating any concept of code by handling combinatory logic terms directly: Domain of "normal form" partial function)
• 02:57, 17 June 2008 (hist) (diff) m Template:Main/Events‎ (rm year)
• 02:54, 17 June 2008 (hist) (diff) Template:Main/Events‎ (Rm redundance from date, giving hours instead)
• 02:51, 17 June 2008 (hist) (diff) Template:Main/Events‎ (Swap two items)
• 02:50, 17 June 2008 (hist) (diff) Template:Main/Events‎ (ICFP Programming Contest 2008)
• 11:26, 13 August 2007 (hist) (diff) m Zipper‎ (mixed terms)
• 11:24, 13 August 2007 (hist) (diff) Zipper‎ (Moving from hole towards root is an independent idea)
• 21:00, 7 August 2007 (hist) (diff) Relational algebra‎ (→Other links: The λ Abroad. A Functional Approach To Software Components by Daniel Johannes Pieter Leijen) (top)
• 20:28, 20 July 2007 (hist) (diff) Zipper‎ (Notion of "hole" mentioned)
• 21:48, 19 July 2007 (hist) (diff) m Zipper‎ ("plugging" means something different (it returns a (simple) tree, not a tree with focus), thus not mentioning it here)
• 21:35, 19 July 2007 (hist) (diff) m Zipper‎ ("plug" is used in the literature for filling the hole in)
• 09:39, 19 July 2007 (hist) (diff) m Zipper‎ (Agreement of number: both be plural, or both be singular)
• 09:26, 19 July 2007 (hist) (diff) m Zipper‎ (resolve another ambiguity, borders of scopes better expressed)
• 09:21, 19 July 2007 (hist) (diff) m Zipper‎ (resolve ambiguity)
• 09:17, 19 July 2007 (hist) (diff) m Zipper‎ (66-99-style quotation marks (“”), instead of ASCII-style "s)
• 09:02, 19 July 2007 (hist) (diff) Zipper‎ ("Mounting" a tree into a context: representation of tree with marked subtree (focus))
• 08:58, 19 July 2007 (hist) (diff) m Zipper‎ (syntax of image inserting)
• 08:56, 19 July 2007 (hist) (diff) Image:Mount-op12cl-34.png‎ (Subtree (1 2) "mounted" into context (@ (3 4)). Made by own hands with GIMP and LaTeX's qtree package.) (top)
• 08:55, 19 July 2007 (hist) (diff) Image:Circum-op12cl-34.png‎ (Tree ((1 2) (3 4)) with left subtree marked. Made by own hands with GIMP and LaTeX's qtree package.) (top)
• 08:49, 19 July 2007 (hist) (diff) Zipper‎ (Image: "mounting" subtree into context)
• 08:08, 19 July 2007 (hist) (diff) Zipper‎ (Mentionong, that solutions for binary trees, arbitrary-branches-trees can be regarded as special cases of a more general soution)
• 16:39, 17 July 2007 (hist) (diff) m Zipper‎ (→Automation: Add a similar paper)
• 13:58, 17 July 2007 (hist) (diff) Zipper‎ (→Comonads and monads: Another comonadic zipper article: Evaluating cellular automata is comonadic, part of Sigfpe's A Neighborhood of Infinity)
• 13:53, 17 July 2007 (hist) (diff) Zipper‎ (→Comonads and monads: related external links (Tarmo Uustalu's papers and an article from A Neighborhood of Infinity))
• 12:38, 17 July 2007 (hist) (diff) m Zipper‎ (better intro for a sentence)
• 12:36, 17 July 2007 (hist) (diff) m Zipper‎ (Using term "focus")
• 11:04, 17 July 2007 (hist) (diff) Continuation‎ (→External links: Continuations.html Continuations and delimited control)
• 11:01, 17 July 2007 (hist) (diff) m Zipper‎ (→Further reading: Scope of quotation)
• 10:59, 17 July 2007 (hist) (diff) Continuation‎ (→See also: extended to - →Delimited continuation)
• 10:53, 17 July 2007 (hist) (diff) m Zipper‎ (→Further reading: typo)
• 10:52, 17 July 2007 (hist) (diff) m Zipper‎ (→Further reading: typo)
• 10:51, 17 July 2007 (hist) (diff) Zipper‎ (→Futher reading: , about the zippers and delimited continuations)
• 10:38, 17 July 2007 (hist) (diff) Continuation‎ (→See also: Delimited continuation, Zipper)
• 10:33, 17 July 2007 (hist) (diff) m Zipper‎ (→Application: There is a HaskellWiki article on delimited continuations, providing a link there)
• 11:56, 16 July 2007 (hist) (diff) m Help:Editing‎ ((1) Small stylistical correction (2) small conclusion/summary part)
• 19:04, 15 July 2007 (hist) (diff) m Help:Editing‎ (Long hyphen as symbol — and not as --)
• 17:13, 15 July 2007 (hist) (diff) m Help:Editing‎ (clarify)
• 17:11, 15 July 2007 (hist) (diff) m Help:Editing‎ (clarify)
• 17:07, 15 July 2007 (hist) (diff) m Help:Editing‎ (grammatical corrections)
• 17:06, 15 July 2007 (hist) (diff) Help:Editing‎ (Correcting my previous statement: Matrix environments CAN be embedded in a hierarchical way)
• 16:18, 15 July 2007 (hist) (diff) m Sandbox‎ (Embedded matrix)
• 16:15, 15 July 2007 (hist) (diff) Sandbox‎ (Matrix example)
• 16:09, 15 July 2007 (hist) (diff) m Help:Editing‎ (Line break)
• 16:08, 15 July 2007 (hist) (diff) m Help:Editing‎ (→Under/overbrace: Break lines in cells of table)
• 16:03, 15 July 2007 (hist) (diff) m Help:Editing‎ (typo)
• 16:01, 15 July 2007 (hist) (diff) Help:Editing‎ (→Under/overbrace: More simple examples)
• 15:55, 15 July 2007 (hist) (diff) Help:Editing‎ (Multiple-embedded underbrace)
• 15:08, 15 July 2007 (hist) (diff) m Zipper‎ (More precise alignment to the centre)
• 15:04, 15 July 2007 (hist) (diff) Zipper‎ (Old syntax for double-embedded underbraces)
• 14:43, 15 July 2007 (hist) (diff) Help:Editing‎ (→Some new math symbols: upper corner quotation marks (used for stressing object language expressions))
• 14:24, 15 July 2007 (hist) (diff) Help:Editing‎ (Initiate - →Differences from Wikipedia: , describing - →Under/overbrace)
• 14:11, 15 July 2007 (hist) (diff) m Zipper‎ (Empty list's role)
• 14:06, 15 July 2007 (hist) (diff) m Zipper‎ (underbraced list)
• 12:56, 15 July 2007 (hist) (diff) Image:Path-1X-34.png‎ (A path-like, more deconstructed representation of the context of a tree zipper. Made by own hands with GIMP and LaTeX's qtree package) (top)
• 12:54, 15 July 2007 (hist) (diff) Zipper‎ (Image for the more deconstructed context representation)
• 12:22, 15 July 2007 (hist) (diff) m Zipper‎ (Small clarify, mention also a naive implementation)
• 12:02, 15 July 2007 (hist) (diff) m Zipper‎ (typo)
• 11:44, 15 July 2007 (hist) (diff) Zipper‎ (Provide definition for auxiliary datatype Direction (at binary trees, equivalent to Bool))
• 11:41, 15 July 2007 (hist) (diff) Zipper‎ (1) deconstruction for the zipper datatype 2)Instead of double-embeddedd parantheses, making a "Remarks:" list)
• 10:33, 15 July 2007 (hist) (diff) Talk:Haskell‎ (Restore version 19:19, 19 February 2007 Isaac Dupree. The previous two commitments were 1) unexplained removal of page content 2) many-many commercial/advertisement-like links. It may be a spam bot)
• 14:11, 11 July 2007 (hist) (diff) Zipper‎ (A colon is appropriate here: the image table serves as an illustration)
• 14:05, 11 July 2007 (hist) (diff) Image:Top.png‎ (Image of top context Made by own hands, with LaTeX and GIMP) (top)
• 14:04, 11 July 2007 (hist) (diff) Zipper‎ (Color also image of top context, so that coloring become consequent)
• 13:27, 11 July 2007 (hist) (diff) m Zipper‎ (Indexing also the next level)
• 13:08, 11 July 2007 (hist) (diff) m Zipper‎ (Old \underbrace syntax)
• 13:00, 11 July 2007 (hist) (diff) Zipper‎ (Table showing path towards root)
• 12:19, 11 July 2007 (hist) (diff) Image:Context-X-34.png‎ (Image of context (@ (3 4)) Made by own hands with LaTeX ans qtree package) (top)
• 12:17, 11 July 2007 (hist) (diff) m Zipper‎ (Image of next step)
• 11:48, 11 July 2007 (hist) (diff) Image:Context-1X-34.png‎ (Image of context ((1 @) (3 4)) Made by own hands with LaTeX and qtree package) (top)
• 11:45, 11 July 2007 (hist) (diff) m Zipper‎ (Typo, rename)
• 11:43, 11 July 2007 (hist) (diff) Image:Context-1X-23.png‎ (Image of context ((1 @) (3 4)) Made vy own hands with LaTeX and qtree package) (top)
• 11:37, 11 July 2007 (hist) (diff) Zipper‎ (Image of context ((1 @) (3 4)))
• 11:36, 11 July 2007 (hist) (diff) Image:Context-1 -23.png‎ (Image of context ((1 @) (3 4)) Made by own hads, with LaTeX ans qtree package) (top)
• 11:34, 11 July 2007 (hist) (diff) m Zipper‎ (align with table)
• 11:31, 11 July 2007 (hist) (diff) m Zipper‎ (typo)
• 11:29, 11 July 2007 (hist) (diff) m Zipper‎ (Image)
• 11:28, 11 July 2007 (hist) (diff) Image:Tree-12-34.png‎ (Image for the ((1 2) (3 4)) tree Made by own hands with LaTeX and qtree package.) (top)
• 11:25, 11 July 2007 (hist) (diff) Zipper‎ (Add tree image)
• 17:54, 24 June 2007 (hist) (diff) m Uniplate‎ (Point link to Scrap your boilerplate article) (top)
• 17:53, 24 June 2007 (hist) (diff) m Uniplate‎ (remove hidden linebreak that broke the Scrap Ypur Boilerplate link)
• 14:52, 21 June 2007 (hist) (diff) Applications and libraries/Web programming‎ (→Web frameworks: See also HAppS tutorial.)
• 12:15, 20 June 2007 (hist) (diff) Applications and libraries/Web programming‎ (→See also: Practical web programming in Haskell)
• 09:40, 15 June 2007 (hist) (diff) Jobs‎ (PhD student on Real-life datatype-generic programming)
• 09:35, 15 June 2007 (hist) (diff) Zipper‎ (→Applications: Roll Your Own Window Manager: Tracking Focus with a Zipper)
• 20:07, 1 June 2007 (hist) (diff) m Category theory‎ (typo)
• 20:06, 1 June 2007 (hist) (diff) Category theory‎ (→Haskell libraries and tools: [http://www.eyrie.org/~zednenem/2004/hsce/ Category extras by David Menendez]: libraries for e.g. comonads, infinite data typ)
• 08:29, 8 May 2007 (hist) (diff) Dependent type‎ (Do we need dependent types? by Daniel Fridlender and Mia Indrika, 2001.)
• 13:05, 30 April 2007 (hist) (diff) Applications and libraries/GUI libraries‎ (Add Grapefruit)
• 11:52, 22 April 2007 (hist) (diff) Applications and libraries/Compilers and interpreters‎ (→AL (Assignment Language): an AL Interpreter implemented in Haskell)
• 12:34, 16 April 2007 (hist) (diff) m Attribute grammar‎ (typos)
• 12:32, 16 April 2007 (hist) (diff) Attribute grammar‎ (FNC-2 System)
• 11:30, 29 March 2007 (hist) (diff) Applications and libraries/Linguistics‎ (→Natural language processors (and generators): Eric Kow's recent publications on GenI)
• 23:43, 25 March 2007 (hist) (diff) Continuation‎ (→Applications: Oleg Kiselyov's ZipperFS)
• 23:39, 25 March 2007 (hist) (diff) m Zipper‎ (Add table-of-contents, remove self-referent link, add more inner links)
• 23:35, 25 March 2007 (hist) (diff) Zipper‎ (→Applications: ZipperFS)
• 23:31, 25 March 2007 (hist) (diff) m Applications and libraries/Operating system‎ (→Filesystems: Linkify Zipper and Continuation)
• 02:46, 22 February 2007 (hist) (diff) m Applications and libraries/Compilers and interpreters‎ (→QML, a functional quantum programming language: typos)
• 02:44, 22 February 2007 (hist) (diff) Applications and libraries/Compilers and interpreters‎ (→QML. a functional quantum programming language: QML: A Functional Quantum Programming Language] project. It is implemented in Haskell)
• 22:12, 21 February 2007 (hist) (diff) Zipper‎ (→Further reading: Haskell/Zippers on Wikibooks)
• 22:08, 21 February 2007 (hist) (diff) Arrow‎ (→Functional I/O, graphical user interfaces: FG, Phooey)
• 22:05, 21 February 2007 (hist) (diff) Arrow‎ (→Library: arrows package)
• 21:57, 21 February 2007 (hist) (diff) Arrow‎ (→External links: Haskell/Arrows]on Wikibooks)
• 21:55, 21 February 2007 (hist) (diff) m Arrow‎ (some Wikipedia conventions)
• 15:34, 20 February 2007 (hist) (diff) m WxHaskell‎ (remove accidental repetition of copy-paste)
• 15:33, 20 February 2007 (hist) (diff) m WxHaskell‎ (Merge in a single item the pdf and ppt versions of slides Koen Lindström Claessen: Graphical User Interfaces in Haskell)
• 15:27, 20 February 2007 (hist) (diff) m WxHaskell‎ (→External links: Correction of the title. Koen Lindström Claessen: Graphical User Interfaces in Haskell], slides (pdf))
• 15:23, 20 February 2007 (hist) (diff) WxHaskell‎ (Koen Lindström Claessen: WxHaskell slides (pdf))
• 15:18, 20 February 2007 (hist) (diff) WxHaskell‎ (→External links: Advanced Functional Programming / WxHaskell], a portal like page)
• 15:10, 20 February 2007 (hist) (diff) m WxHaskell‎ (→External links: file types: pdf, ppt...)
• 15:08, 20 February 2007 (hist) (diff) WxHaskell‎ (→External links: Koen Lindström Claessen: Graphical User Interfaces in Haskell)
• 15:00, 20 February 2007 (hist) (diff) WxHaskell‎ (Wei Tan: GUI Programming with wxHaskell)
• 14:03, 20 February 2007 (hist) (diff) WxHaskell‎ (→External link: Daan Leijen: wxHaskell / A Portable and Concise GUI Library for Haskell)
• 00:54, 19 February 2007 (hist) (diff) m Applications and libraries/GUI libraries‎ (The section link is no longer valid. Updated for WxHaskell)
• 16:23, 13 December 2006 (hist) (diff) Applications and libraries/Linguistics‎ (ToC hierarchy)
• 16:22, 13 December 2006 (hist) (diff) Applications and libraries/Linguistics‎ (Delete {{Main}} template)
• 16:20, 13 December 2006 (hist) (diff) Applications and libraries/Linguistics‎ (→Continuations in natural languages: paper)
• 16:15, 13 December 2006 (hist) (diff) Continuation‎ (→Linguisitcs: Continuations in Natural Language)
• 12:40, 4 December 2006 (hist) (diff) m Applications and libraries/Linguistics‎ (format)
• 12:39, 4 December 2006 (hist) (diff) Applications and libraries/Linguistics‎ (A Survey on the Use of Haskell in Natural-Language Processing (Report by Richard A. Frost))
• 16:18, 10 November 2006 (hist) (diff) m Zipper‎ (Typo)
• 16:17, 10 November 2006 (hist) (diff) m Zipper‎ (→Further reading: Fix link)
• 16:16, 10 November 2006 (hist) (diff) Zipper‎ (→Furtherreading: Infinitesimal types. Derivative for types)
• 08:39, 27 October 2006 (hist) (diff) m Continuation‎ (→External links: typographic correction)
• 08:37, 27 October 2006 (hist) (diff) Continuation‎ (→External links: The appropriate section of Haskell: Functional Programming with Types (WikiBooks version))
• 08:14, 27 October 2006 (hist) (diff) User talk:Ashley Y‎ (→Deletion of Continuation passing style)
• 07:56, 27 October 2006 (hist) (diff) Continuation passing style‎ (Creation of this page was an accident. Deleting this page)
• 07:47, 27 October 2006 (hist) (diff) Continuation passing style‎ (→See also: Continuation)
• 07:45, 27 October 2006 (hist) (diff) Continuation‎ (Hal Daume III's Yet Another Haskell Tutorial has a section on continuation passing style. Because of its having been wikified, it can be referred to directly)
• 09:30, 22 October 2006 (hist) (diff) Recursive function theory‎ (→Recursive functions: ``Homogenous'' version of generalized composition)
• 11:27, 11 October 2006 (hist) (diff) Literate programming‎ (→Shuffle: A tool extending lhs2TeX's capabilities)
• 12:10, 10 October 2006 (hist) (diff) m Dependent type‎ (/Qi*/ Typographic correction)
• 12:09, 10 October 2006 (hist) (diff) Dependent type‎ (→Qi: and Blaise: Lisp-based languages with dependent types)
• 23:46, 9 October 2006 (hist) (diff) m Continuation‎ (Small formatting, + typographical correction)
• 23:43, 9 October 2006 (hist) (diff) Continuation‎ (Add link to Continuatons section of article ``Functional Programming For The Rest of Us'', an introductory material to functional programming.)
• 15:30, 5 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (→Functor and natural transformation: “zero-or-one-or-many-occurrences” - parser of list of things) (top)
• 15:26, 5 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Fix incorrect pairing of parantheses)
• 12:14, 5 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→External links: Toposes, Triples and Theories written by Michael Barr and Charles Wells.)
• 11:01, 5 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Spell-check with ispell)
• 14:17, 4 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Fix broken section-link)
• 14:13, 4 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Natural transformation and functor: Haskell example (coinciding with maybeToList))
• 12:32, 4 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Definition: comes as first section, preceding example. A small redundace joins the descriptions of mathematical and the programming parts)
• 10:01, 4 October 2006 (hist) (diff) Category theory/Natural transformation‎ (+ - →Mixed: Mentioning how mixed operations will be used in definition of “monad” in category theory. Rephrasings)
• 09:48, 4 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Operations: Complete formal definitions)
• 09:35, 4 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Typographic cirections, rephrasing, more links)
• 09:29, 4 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Natural transformation and functor: Type inference “dissolves” the main point, thus there is no “materialized” manifestation of it in a Haskell program)
• 09:17, 4 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Better table-of-contents hierarchy)
• 09:12, 4 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Deleting empty environments, make more didactical order, typographic cirrectipons)
• 09:08, 4 October 2006 (hist) (diff) Category theory/Natural transformation‎ (New sections:- →Operations: , beginning with - →Functor and natural transformation: : example: fmapping parser on optional data to parser on listed data)
• 16:23, 3 October 2006 (hist) (diff) Category theory/Natural transformation‎ (Categorizing under Category:Theoretical foundations)
• 16:19, 3 October 2006 (hist) (diff) Category:Theoretical foundations‎ (The cited material is now online, so I linked it) (top)
• 14:46, 3 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Commutative diagram is in D category)
• 14:37, 3 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Commutative diagram: Definition of notion ``natural transformation'')
• 13:18, 3 October 2006 (hist) (diff) Category theory/Natural transformation‎ (Fix broken link)
• 13:17, 3 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (→Remarks: Link to source code)
• 13:11, 3 October 2006 (hist) (diff) Image:Natural transformation.tex‎ (Source code for commutative diagram image defining natural transformation) (top)
• 13:07, 3 October 2006 (hist) (diff) Image:Natural transformation.png‎ (Commutative diagram used to illustrate the definition of notion ``natural transfomration'') (top)
• 13:03, 3 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Commutative diagram: Link to image)
• 21:47, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (for lists: map (or fmap), for Maybe's: fmap)
• 20:36, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (→External links: typographic correction)
• 20:36, 2 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→External links: HaWiki article not migrated yet)
• 20:26, 2 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Commutative diagram: Notations)
• 20:12, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Vertical arrows: sides of objects: rephrase non-scientific expression)
• 20:10, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Fix empty line tricks at tables)
• 20:05, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (→Commutativity of the diagram: Format caption (no more a caption))
• 20:02, 2 October 2006 (hist) (diff) Category theory/Natural transformation‎ (→Commutativity of diagram: More typings)
• 19:49, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Order should suggest the correspondence between Haskell example and mathmatical formalism)
• 19:45, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (<math> environment)
• 19:41, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Rephrasings)
• 19:21, 2 October 2006 (hist) (diff) Category theory/Natural transformation‎ (In fact, even has a more general type (Integral a => a -> Bool) than described here)
• 19:12, 2 October 2006 (hist) (diff) m Category theory/Natural transformation‎ (Better section structure)
• 19:11, 2 October 2006 (hist) (diff) Category theory/Natural transformation‎ (maybeToList as an example)
• 14:09, 23 September 2006 (hist) (diff) Applications and libraries/Compiler tools‎ (The Packrat Parsing and Parsing Expression Grammars Page)
• 12:09, 4 September 2006 (hist) (diff) m Libraries and tools/Linguistics/Applicative universal grammar‎ (→To do: Rephrasing: some words added) (top)
• 12:08, 4 September 2006 (hist) (diff) Libraries and tools/Linguistics/Applicative universal grammar‎ (→To do: Short-term plans)
• 23:05, 3 September 2006 (hist) (diff) Libraries and tools/Linguistics/Applicative universal grammar‎ (→Bibliography: subsections: - →Directly related resources: Shaumyan's 1985 book - →Formal semantics: Lappin's book + a handbook)
• 19:41, 3 September 2006 (hist) (diff) Lojban‎ (→Introduction: Links to notions: Valency, applicative voice) (top)
• 15:41, 3 September 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: Rephrasing introductory text more clearly)
• 15:36, 3 September 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: Typographic correction)
• 15:32, 3 September 2006 (hist) (diff) Lojban‎ (Less modularized solution for using structural description names)
• 22:15, 2 September 2006 (hist) (diff) m Lojban‎ (→Introduction: Format terms ``a priori'' and ``a posteriori'' as italic, so that to avoid connotation with undefined article)
• 20:53, 2 September 2006 (hist) (diff) m Lojban‎ (Typographic correction)
• 20:51, 2 September 2006 (hist) (diff) Lojban‎ (→Meta vs object language: Reference to Tarski's selected papers ``Proof and truth'')
• 20:39, 2 September 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: Mentioning Traski's “structural descriptive name” notion)
• 02:20, 23 August 2006 (hist) (diff) m Applications and libraries/Operating system‎ (Updating link (my sentence-style capitalization had made this link broken, now updated))
• 02:17, 23 August 2006 (hist) (diff) m Research papers/Program development‎ (→Operating systems: Rephrasing link (to achieve similar effesct as Wikipedia's {{main|....}} ``main article'' template))
• 02:10, 23 August 2006 (hist) (diff) m Research papers/Program development‎ (Link back to Libraries and tools/Operating system)
• 02:03, 23 August 2006 (hist) (diff) Applications and libraries/Operating system‎ (Link to Research papers/Program development#Operating Systems)
• 22:43, 22 August 2006 (hist) (diff) m Darcs‎ (Better formatting)
• 22:41, 22 August 2006 (hist) (diff) m Darcs‎ ((1) Assymmetric (6-9-shaped) quotation marks (2) Typographic corrections)
• 22:37, 22 August 2006 (hist) (diff) Darcs‎ (Adding other Darcs-related talks, slides. Mentioning slides ``The Myth and Reality of using Haskell in the Real World'' separately because of its more general Haskell-related topic)
• 14:35, 22 August 2006 (hist) (diff) Darcs‎ (→External link: Mentioning David Roundy's slides ``Implementing the darcs patch formalism and verifying it'' (see also GADT#Projects containing GADTs article))
• 17:06, 20 August 2006 (hist) (diff) m Applications and libraries/Genetic programming‎ (Better introductory text on the ant evolution case study)
• 08:27, 20 August 2006 (hist) (diff) Applications and libraries/Genetic programming‎ (Adding link to Måns Vestin: Genetic algorithms in Haskell with polytypic programming. Some words on it.)
• 16:04, 19 August 2006 (hist) (diff) m Lojban‎ (More general introductory text)
• 15:57, 19 August 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: Introductory text + small formattings, rephrasings)
• 13:28, 19 August 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: A better informal notation for ``quoatations'' in quines)
• 13:25, 19 August 2006 (hist) (diff) Lojban‎ (→Meta vs object language: Solving problem of ``quotation'' when writing a quine in combinatory logic)
• 03:52, 19 August 2006 (hist) (diff) m Lojban‎ (→Meta vs object language: More concise and clear rephrasing + some typographic corrections)
• 03:48, 19 August 2006 (hist) (diff) Lojban‎ (→Meta vs object language: Didactical relevance?)
• 03:14, 19 August 2006 (hist) (diff) Lojban‎ (→References: The Complete Lojban Language / The Lojban Reference Grammar)
• 16:13, 17 August 2006 (hist) (diff) m Turing machine‎ (→Search: State name misspelled)
• 16:08, 17 August 2006 (hist) (diff) Turing machine‎ (→Search: : Modularizing Monk's ``left seek 0'': let us not exlude the starting from the process of search)
• 14:56, 17 August 2006 (hist) (diff) m Recursive function theory‎ (Mentioning Kleene's s^m_n theorem in the context of currying)
• 14:40, 17 August 2006 (hist) (diff) m Turing machine‎ (Dummy edit: ``blank'' versus ``Letter *'')
• 14:38, 17 August 2006 (hist) (diff) m Turing machine‎ (blank vs Letter 1 instead of 0 vs 1 or blank vs letter 1)
• 14:08, 17 August 2006 (hist) (diff) Turing machine‎ (→Examples: for Turing machine descriptions (``program source code samples''): - →Simple moves: and - →Simple rewritings: , see Monk T_right, T_left, T_0, T_1)
• 23:50, 10 August 2006 (hist) (diff) m Combinatory logic‎ (Mentioning other solutions (which are just mentioned, because they are more complicated))
• 23:35, 10 August 2006 (hist) (diff) Combinatory logic‎ (→Maybe2: Defining Maybe2 datatype (found in an old Hugs library) in CL)
• 20:57, 8 August 2006 (hist) (diff) m Lojban‎ (typographic correction)
• 20:54, 8 August 2006 (hist) (diff) Lojban‎ (zo'e, a place-keeper argument -- analogy with notion of zero in number decimal representation)
• 13:52, 8 August 2006 (hist) (diff) m Lojban‎ (The order of arguments in the predicate corrected)
• 13:35, 8 August 2006 (hist) (diff) m Lojban‎ (Using ``I, me'' instead of ``I'' in the vocabulary)
• 13:34, 8 August 2006 (hist) (diff) m Lojban‎ (Some comments, rephrasings + spell-check with ispell)
• 11:38, 8 August 2006 (hist) (diff) m Lojban‎ (Analogy between passive voice in Lojban expressed by ``se'' predicate modifiier to combinator C)
• 22:05, 7 August 2006 (hist) (diff) Lojban‎ (→Others: Haskell and Lojban -- link to a discussion (with articles) on motivations wgy people choose (``adopti') a (programming or other) language)
• 21:38, 7 August 2006 (hist) (diff) m Applications and libraries/Linguistics‎ (Fixing link)
• 21:37, 7 August 2006 (hist) (diff) m Applications and libraries/Linguistics‎ (Wikipedia atricle on Lojban can be reached from the newly created Lojban HaskellWiki page,, so the link is confusing here)
• 21:27, 7 August 2006 (hist) (diff) Lojban‎ (→Repeating: Even more combinators, modifying directly the predicate, not arbitrary subexpression of the sentence)
• 20:44, 7 August 2006 (hist) (diff) m Lojban‎ (Rephrasing a typographic corrections)
• 20:39, 7 August 2006 (hist) (diff) Lojban‎ (→Repeating: Useing combinator W_(2), the deferred version of elementary duplicator W)
• 20:07, 7 August 2006 (hist) (diff) m Lojban‎ (Two personal pronouns mixed)
• 20:05, 7 August 2006 (hist) (diff) m Lojban‎ (→References: Reformatting)
• 20:03, 7 August 2006 (hist) (diff) Lojban‎ (Lojban analogies of C and W combinators of combinatry logic)
• 19:38, 7 August 2006 (hist) (diff) Applications and libraries/Linguistics‎ (→Natural language processing and combinatory logic: Small introductory text)
• 17:40, 7 August 2006 (hist) (diff) m Applications and libraries/Linguistics‎ (→Other linguistics-related resources: Initiating separate page for Lojban)
• 17:36, 7 August 2006 (hist) (diff) Combinatory logic‎ (→Applications: Mentioning artificial language ``Lojban'' and its possible relatedness to combinatory logic)
• 00:10, 7 August 2006 (hist) (diff) Chaitin's construction‎ (→Eliminating any concept of code by handling combinatory logic terms directly: Heuristical steps)
• 22:53, 5 August 2006 (hist) (diff) m Chaitin's construction‎ (Chaitin's constructION)
• 22:51, 5 August 2006 (hist) (diff) Chaitin's construction‎ (→Table for small legths: illustrating the normal number property of Chaitin's construct)
• 21:50, 5 August 2006 (hist) (diff) Chaitin's construction‎ (→More natural norm functions (from CL terms): But Chaitin's constant is a normal number (as if its digits were generated by tossing a coin), and I want to preserve this)
• 21:09, 5 August 2006 (hist) (diff) Chaitin's construction‎ (→Table for small legths: Extending binary approximation of Omega to fit the code length)
• 21:01, 5 August 2006 (hist) (diff) Chaitin's construction‎ (→Table for simpler CL-terms: New column added: Omega approximated till now: mantissa binary (decimal))
• 20:22, 5 August 2006 (hist) (diff) m Chaitin's construction‎ (→Table for simpler CL-terms: The table is easier to understand with this order of columns)
• 20:16, 5 August 2006 (hist) (diff) m Chaitin's construction‎ (→Table for simpler CL-terms: Headline renaming (earlier: ``Table for smaller CL-terms''))
• 20:14, 5 August 2006 (hist) (diff) m Chaitin's construction‎ (→Table for smaller CL-terms: Short introductory text)
• 20:10, 5 August 2006 (hist) (diff) Chaitin's construction‎ (→Table for smaller CL-terms: with values for helping conjecture on a norm of CL-terms to constuct a ``probability of termination'' __among terms__, not strings)
• 19:13, 5 August 2006 (hist) (diff) Chaitin's construction‎ (→Table for small legths: exemplifying Chaitin's contruct for small cases)
• 18:35, 5 August 2006 (hist) (diff) m Computer science‎ (Adding link to Algorithmic information theory with small text explaining motivation) (top)
• 18:16, 5 August 2006 (hist) (diff) Mathematics‎ (Double bulllets for list)

(Latest | Earliest) View (newer 250) (older 250) (20 | 50 | 100 | 250 | 500)