User contributions
Jump to navigation
Jump to search
- 10:53, 16 March 2006 diff hist +1 m Extensible record typographic: is > its
- 12:45, 9 March 2006 diff hist -34 m Combinatory logic haskell inline code highlight
- 10:33, 9 March 2006 diff hist +114 m Combinatory logic layout improvements (syntax highlight made some smaller word order changes appropriate) and correcting some typographic or latex errors
- 10:17, 9 March 2006 diff hist +397 m Combinatory logic enabling syntax highlight for the Haskell code examples by paranthesing them by <haskell>...</haskell>
- 21:42, 8 March 2006 diff hist -1 m Extensible record Morrow interpreter seems to be unavailable for download
- 21:31, 8 March 2006 diff hist +143 Extensible record Add a link to the [http://www.cs.uu.nl/~daan/morrow/ Morrow] language, whith interpeter, having extensible records
- 18:14, 8 March 2006 diff hist +585 Extensible record more links
- 17:06, 8 March 2006 diff hist +1,019 N Extensible record Haskell' Wiki, TREX, other proposals
- 15:52, 8 March 2006 diff hist +330 Future of Haskell Adding a link to Mark Shields and Simon Peyton Jones: First-class Modules for Haskell. Others: beginning to create an Extensible record page with a short description of the topic
- 11:55, 8 March 2006 diff hist +38 m Generalised algebraic datatype Separating two linked words with an unlinked one, so that they do not look like one common link
- 11:49, 8 March 2006 diff hist +1,694 N Generalised algebraic datatype New page on genaralised abstract datatypes, referring to the original HaskellDB paper as a case study, Phantom types, relatedness to Dependent types. More general ,terms in other terms'
- 16:35, 7 March 2006 diff hist +1,460 Combinatory logic Adding new links to introductory materials, two new illative combinatory logic links, and an ,,inner'' link to Haskell Wiki's Linguistics page
- 12:38, 7 March 2006 diff hist -1 m Applications and libraries/Linguistics Updating a link to an online CiteSeer book: choosing a better available mirror
- 11:39, 7 March 2006 diff hist +38 Applications and libraries/Linguistics Categorising under Category:Theoretical foundations
- 11:30, 7 March 2006 diff hist -384 Applications and libraries Moving some of the contents of ,,Natural language processing'' section to the new Linguistics page, leaving only the directly Haskell-related materials (e.g. dowloadable sources) here
- 11:24, 7 March 2006 diff hist +4,270 N Applications and libraries/Linguistics Moving some of the contents of Libraries and tools ,,Natural language processing'' section to here, leaving only the directly Haskell-related materials there
- 08:10, 7 March 2006 diff hist +83 Applications and libraries Creating new page Linguistics
- 12:56, 6 March 2006 diff hist +58 Dependent type Replacing the Smart constructors link with Type link. So the reference became more general, because Smart constructors can be reached from Type
- 11:34, 6 March 2006 diff hist +243 m Dependent type Specifying exactly which papers are meant as I referred to HaskelDB
- 11:00, 6 March 2006 diff hist +163 Dependent type Referring to HaskelDB, as a practical case study on the usefulness of such idioms (i.e. those related to simulating dependent types)