From a6b776e5f0a9702a7d41bfe92e6a8b11e8a99e90 Mon Sep 17 00:00:00 2001 From: Andreas Roehler Date: Tue, 28 Jul 2020 11:59:19 +0200 Subject: [PATCH] #4880, in interfaces.rst, replace "brackets" by "parentheses" fixed --- docs/tutorial/interfaces.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/tutorial/interfaces.rst b/docs/tutorial/interfaces.rst index df020b3210..f6ce5cf17f 100644 --- a/docs/tutorial/interfaces.rst +++ b/docs/tutorial/interfaces.rst @@ -144,7 +144,7 @@ give the constraints on the type variables left of the fat arrow sort : Ord a => List a -> List a Functions, interfaces and implementations can have multiple -constraints. Multiple constraints are written in brackets in a comma +constraints. Multiple constraints are written in parentheses in a comma separated list, for example: .. code-block:: idris