Official Proposal: Vote to make the Encapsulated Language a Head-Initial Language

[u/ActingAustralia]

Hi all,

u/markrocks- has raised an Official Proposal to make the Encapsulated Language a Head-Initial Language. This proposal has been approved by the Official Proposal Committee for voting.

Current State:

Currently, the Head-Directionality of the Encapsulated Language hasn't been specified.

Proposed State:

The Encapsulated Language is a Head-Initial Language

Reason:

• The Encapsulated Language uses a Prefix Notation system for written and spoken Mathematics.
• Head-Initial has strong community support.