idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-19 17:21:59 +03:00
Code Issues Projects Releases Wiki Activity

fix: typos in "Named Implementations" (#3296)

Browse Source 
* fix: typos in "Named Implementations"

* Update docs/source/tutorial/interfaces.rst

---------

Co-authored-by: G. Allais <guillaume.allais@ens-lyon.org>
This commit is contained in:
Jorge Gomez 2024-06-05 06:03:47 -05:00 committed by GitHub
parent f83ad9ce98
commit a236bb7a33
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/source/tutorial/interfaces.rst
View File

@ -707,7 +707,7 @@ We can define two different implementations of ``Semigroup`` and
The neutral value for addition is ``0``, but the neutral value for multiplication
is ``1``. It's important, therefore, that when we define implementations
of ``Monoid`` they extend the correct ``Semigroup`` implementation. We can
of ``Monoid`` that they extend the correct ``Semigroup`` implementation. We can
do this with a ``using`` clause in the implementation as follows:
.. code-block:: idris