Editing User:EndreyMark (section)

=== 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.