diff options
Diffstat (limited to 'docs/users_guide/exts/linear_types.rst')
| -rw-r--r-- | docs/users_guide/exts/linear_types.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/users_guide/exts/linear_types.rst b/docs/users_guide/exts/linear_types.rst index 2d6e60112b..85c440931d 100644 --- a/docs/users_guide/exts/linear_types.rst +++ b/docs/users_guide/exts/linear_types.rst @@ -5,6 +5,7 @@ Linear types :shortdesc: Enable linear types. :since: 9.0.1 + :status: Experimental Enable the linear arrow ``a %1 -> b`` and the multiplicity-polymorphic arrow ``a %m -> b``. |