Talk:Higher-order abstract syntax

From Wikipedia, the free encyclopedia

[edit] Structure of the article

I have just restructured the article using the current text only (no additions or removals), but it is still not optimal. I have named the first section Relation to first-order abstract syntax, but it has two purposes:

• define higher-order abstract syntax
• show how it relates to first-order abstract syntax

I think it is better to split these concepts. -- eboy 16:43, 11 October 2006 (UTC)