Linear types syntax: multiplicity parametric arrow
Motivation
The linear types proposal introduces a syntax a %p -> b
. It is currently not implemented.
Proposal
Everything is in place for this. It ought to be a pure parser implementation.
The linear types proposal introduces a syntax a %p -> b
. It is currently not implemented.
Everything is in place for this. It ought to be a pure parser implementation.