michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Lists: Fix a typo in Monoids

Browse source
This commit is contained in:
Fangyi Zhou 2019-06-30 18:13:02 +01:00 committed by Wen Kokke
parent 84d5c6a7e3
commit 8754f5c9c6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/plfa/Lists.lagda
View file

@ -696,7 +696,7 @@ postulate
## Monoids
Typically when we use a fold the operator is associative and the
value is a left and right identity for the value, meaning that the
value is a left and right identity for the operator, meaning that the
operator and the value form a _monoid_.
We can define a monoid as a suitable record type: