1.1 Categorising

1.1.1 New category or having already?

I looked at all category names to decide where Combinatory logic and Dependent types should fit.
I think You are right, and Theory would be a good new category, or Foundations.
It could contain articles like e.g.

Lambda calculus

Combinatory logic

Type theory

Dependent types

Category theory

Categorical programming

Formal languages

Attribute grammars

Linguistics

Applicative universal grammars

etc. Maybe it would become a natural category for projects like Quantum Computing -- I saw there are a lot of QC materials concerning Haskell -- and quines (see bottom of this letter) too.

1.1.2 Articles or Foundations?

The category name Articles seems to me too structural (instead of functional):

Foundations describes a role, a funtion

Articles refers to a structure, a format.

To decide between them, let us see the crosscutting cases:

a page on foundations, but not in an article format, e.g. a categorical programming language interpreter

an article on practical things, e.g. on conventions

maybe we cannot avoid all croscutting, but I think Foundations provides a better modularity.

1.2 Linking

How to link these articles from the front page:
First I thought, I put a link to them from

Learning Haskell

Books and tutorials

Foundations

do You recommend other linking paths from the front page?
I show some possible linking path maps below, showing the changes with typesetting boldface and with prefixing exclamation mark:

1.2.1 Now

About Haskell

Introduction

Language and library specification

Haskell in practice

Haskell in education

History

Future

Extensions of Haskell

Variations in Haskell

! Dependent types

Learning Haskell

Learning Haskell

Books and tutorials

Using Haskell

Implementations

Libraries and tools

Hoogle - a search engine for library functions

Old HaWiki: Questions & Answers (content to be integrated here)

The Community

Mailing lists

Communities and their projects (latest report: November 2005)

Haskell Weekly News

IRC channel

Links

Jobs

Consultants

Humor

Merchandise

News

...

1.2.2 Linking only in the most straighforward way

Linking to Learning Haskell / Books and tutorials / Foundations

About Haskell

Introduction

Language and library specification

Haskell in practice

Haskell in education

History

Future

Extensions of Haskell

Variations in Haskell

! Dependent types

Learning Haskell

Learning Haskell

Books and tutorials

Language Definition

Textbooks

Papers available on the Web

Foundations

Paul Taylor: Practical Foundations of Mathematics

Michael Barr and Charles Wells: Toposes, Triples and Theories

! Combinatory logic

! Dependent types

Using Haskell

Implementations

Libraries and tools

Hoogle - a search engine for library functions

Old HaWiki: Questions & Answers (content to be integrated here)

The Community

Mailing lists

Communities and their projects (latest report: November 2005)

Haskell Weekly News

IRC channel

Links

Jobs

Consultants

Humor

Merchandise

News

...

1.2.3 Linking in a more restructuration-implying way

About Haskell

Introduction

Language and library specification

Haskell in practice

Haskell in education

History

Future

Extensions of Haskell

Variations in Haskell

! Dependent types

Learning Haskell

Learning Haskell

Books and tutorials

Language Definition

Textbooks

Papers available on the Web

Foundations

Paul Taylor: Practical Foundations of Mathematics

Michael Barr and Charles Wells: Toposes, Triples and Theories

! Combinatory logic

! Dependent types

Using Haskell

Implementations

Libraries and tools

Hoogle - a search engine for library functions

Old HaWiki: Questions & Answers (content to be integrated here)

The Community

Mailing lists

Communities and their projects (latest report: November 2005)

Haskell Weekly News

IRC channel

Links

Jobs

Consultants

Humor

Merchandise

News

...

! Foundations

! Lambda calculus

! Combinatory logic

! Type theory

! Dependent types

! Category theory

! Categorical programming

! Formal languages

! Attribute grammars

! Linguistics

! Applicative universal grammars

1.3 Meta

Thank You for Your letter. I saw Your home page, and wish much success to Your projects.
I think You would like quines (and Shin-Cheng Mu's Haskell quine too)A dream of mine was writing a metacircular interpreter in combinatory logic.