User contributions
Jump to navigation
Jump to search
- 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
- 18:37, 2 May 2006 diff hist +16 m Existential type Update link to Smart constructors, following redirection
- 18:32, 2 May 2006 diff hist +32 N Smart constructor Smart constructor moved to Smart constructors: revert my previous (singularizing) move on this page.It seems to be a collective noun, with many specific ideas, it may be more an item list than a topical list. Sorry for my mistake.
- 18:32, 2 May 2006 diff hist 0 m Smart constructors Smart constructor moved to Smart constructors
- 17:49, 2 May 2006 diff hist +1 m Existential type typographic correction
- 16:11, 2 May 2006 diff hist +545 Existential type Existential types in Essential Haskell. Comparisons to Haskell.
- 11:46, 2 May 2006 diff hist -1 m Keywords Updating link to Smart constructor, following its redirection
- 11:43, 2 May 2006 diff hist -1 m Type Updating link to Smart constructor, following its redirection
- 11:42, 2 May 2006 diff hist 0 m Smart constructors Smart constructors moved to Smart constructor
- 11:39, 2 May 2006 diff hist +649 Existential type Examples from the Generalised algebraic datatype page and from the Essential Haskell Compiler Project
- 10:58, 2 May 2006 diff hist +45 Generalised algebraic datatype Adding link to Existential type at the example where this concept is mentioned
- 10:52, 2 May 2006 diff hist +21 m Existential type Syntax highlighting for Haskell examples
- 09:27, 2 May 2006 diff hist 0 m Generalised algebraic datatype :@ constructor symbol -- infix also in data declaration
- 08:49, 2 May 2006 diff hist +389 Generalised algebraic datatype Adding more links to papers on GADTs
- 08:03, 2 May 2006 diff hist +220 Generalised algebraic datatype (1) Adding a link to a (meanwhile revised) paper (2) typo (unpaired </haskell>)
- 12:18, 1 May 2006 diff hist +392 Turing machine Citing original source of the idea of →Tagging structure: and its relatedness to Haskell and functional programming
- 11:56, 1 May 2006 diff hist +1,099 Turing machine Explaning the motivation, why a →Tagging structure: has been incorporated in the Turing machine definition language
- 01:03, 1 May 2006 diff hist +111 Turing machine Giving Wikipedia links explaining what a tally (or unary) notation is
- 00:46, 1 May 2006 diff hist +2,657 Turing machine →Algebraic background of syntax highlighting: writing on the tagging structure of the keywords of Turung machine definition languge -- this classfication rules the highlighting princples
- 19:03, 30 April 2006 diff hist +66 m Turing machine Moving directions are also special symbols, so they get syntax highlighting (brown), too in the Turing machine defintion language →Verbose syntax
- 18:50, 30 April 2006 diff hist +6 m Turing machine Better grammatic structure for expressing what is regarded fixed when talking on the limitedness of thehead
- 18:41, 30 April 2006 diff hist +337 Turing machine Using term ,,Turing machine definition language'' for what we generally mean when talking on the language of Turing simulator softwares
- 18:22, 30 April 2006 diff hist +96 m Turing machine Using the experimented syntax highlight also in inline text, not only in code blocks: see →Discernable non-emptyness: special state, special symbol
- 18:16, 30 April 2006 diff hist +2 m Turing machine Representing the stress in a sentence by typesetting the stressed word with italics
- 18:05, 30 April 2006 diff hist +48 Turing machine Syntax highlight: 0-ary keywords (the special action, state, letter) are typeset boldface in Turing machine description language, →Verbose syntax
- 17:53, 30 April 2006 diff hist +806 Turing machine Re-coloring: states are green and actions are red, these complementary colors yield a nice view
- 17:20, 30 April 2006 diff hist +174 m Turing machine Re-coloring syntax highlight for →Verbose syntax: of Turing machine description language
- 16:37, 30 April 2006 diff hist +1,388 Turing machine Syntax highlight for the →Verbose syntax: of a Turing machine description language
- 14:39, 30 April 2006 diff hist -1 m Turing machine typographic convention
- 14:37, 30 April 2006 diff hist +954 Turing machine More details on different →Variants: of the conceptual framework of Turing machines: moving conventions -- tape or head moves, idle moves
- 13:20, 30 April 2006 diff hist +860 Recursive function theory Adding link to Dr Matt Fairtlough's lecture notes, as they contain theoretical texts, implementations written in Haskell, and further useful links. Using also his term ,,initial functions''
- 09:37, 30 April 2006 diff hist +56 m Recursive function theory Typographic corrections and clearer choice of words
- 09:30, 30 April 2006 diff hist +1,297 Recursive function theory →Constant: : Arguing for another choice of base functions