Skip to content

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.

Edited by Vladislav Zavialov
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information