diff options
Diffstat (limited to 'docs/users_guide/9.0.1-notes.rst')
-rw-r--r-- | docs/users_guide/9.0.1-notes.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/9.0.1-notes.rst b/docs/users_guide/9.0.1-notes.rst index 1b48f874f6..cee0e1a7ed 100644 --- a/docs/users_guide/9.0.1-notes.rst +++ b/docs/users_guide/9.0.1-notes.rst @@ -11,7 +11,7 @@ Highlights ---------- * The :extension:`LinearTypes` extension enables linear function syntax - ``a #-> b``, as described in the `Linear Types GHC proposal + ``a %1 -> b``, as described in the `Linear Types GHC proposal <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst>`__. The GADT syntax can be used to define data types with linear and nonlinear fields. |