(Untitled)

[dreyonlegacy]

So after years of working on this thing, I've finally gotten the syntactic structure finalized. Both semantics and morphology are essentially nil, but the syntax is done, kinda. I doubt it's going to change significantly

Comments

[sniffnoy]

What is n?

[dreyonlegacy]

n is the number of operands to be conjoined, possibly dictated by the semantics rather than the syntax. Although I guess in the interest of making the syntax completely independent of the vocabulary I ought to simply make the conjunction operator binary.

[sniffnoy]

Oh so you meant it to be +:V→∪n∈Nhom(V^n,V)?

[dreyonlegacy]

Upon further thought I decided that the conjunction operator really ought to be binary in order to simplify the grammatical structure. With a binary operator I can distinguish the two inputs with a case difference or whatnot, whereas with more operands I would need to actually attach numbers to the operands in order to distinguish which one matches which variable in the conjunction.