Merge pull request #4886 from idris-lang/jfdm-patch-1

Fixes #4880
idris-lang · Aug 28, 2020 · bdb6f69 · bdb6f69
2 parents f904fbc + 89c7c29
commit bdb6f69
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/tutorial/interfaces.rst b/docs/tutorial/interfaces.rst
@@ -144,8 +144,8 @@ 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
-separated list, for example:
+constraints. Multiple constraints are written in round brackets (parentheses) 
+in a comma separated list, for example:
 
 .. code-block:: idris