Merge branch 'develop-typos'. Close #587.

**Description**

The package `copilot-core` contains a comment that ends in double
period, which is just a typo. Similar errors are present in
`copilot-language` and `copilot-theorem`.

**Type**

- Bug: Typo in documentation.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

The errors can be located with:

```
$ grep -nHre '--.*[^\.,0-9 ]\.\.' copilot**/src
copilot-core/src/Copilot/Core/Spec.hs:16:-- representations for Specs and the main types of element in a spec..
copilot-language/src/Copilot/Language/Operators/Projection.hs:26:-- of type t carried in a stream of type d..
copilot-theorem/src/Copilot/Theorem/Misc/SExpr.hs:34:-- additional expressions or arguments..
```

The following Dockerfile reports as errors any double periods at the end
of a sentence where the sequence is not part of an ellipsis or range
definition, printing the word "Success" if none are found:

```
FROM ubuntu:focal

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes git

SHELL ["/bin/bash", "-c"]

CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && ! grep -nHre '--.*[^\.,0-9 ]\.\.' copilot**/src \
    && echo Success
```

**Expected result**

Running the dockerfile above prints the message "Success", indicating
that there is no comment that ends with double period that is not part
of an ellipsis or enumeration.

**Solution implemented**

Remove the double period from the comments listed above.

**Further notes**

None.

Author: ivanperez-keera

copilot-core/CHANGELOG

@@ -1,3 +1,6 @@
+2025-01-28
+        * Fix typo in documentation. (#587)
+
 2025-01-07
         * Version bump (4.2). (#577)
         * Deprecate fields of Copilot.Core.Expr.UExpr. (#565)

copilot-core/src/Copilot/Core/Spec.hs

@@ -13,7 +13,7 @@
 --
 -- In order to be executed, high-level Copilot Language Spec must be turned
 -- into Copilot Core's 'Spec'. This module defines the low-level Copilot Core
--- representations for Specs and the main types of element in a spec..
+-- representations for Specs and the main types of element in a spec.
 module Copilot.Core.Spec
     ( Stream (..)
     , Observer (..)

copilot-language/CHANGELOG

@@ -1,3 +1,6 @@
+2025-01-28
+        * Fix typo in documentation. (#587)
+
 2025-01-07
         * Version bump (4.2). (#577)
         * Bump upper version constraint on containers. (#570)

copilot-language/src/Copilot/Language/Operators/Projection.hs

@@ -23,7 +23,7 @@ infixl 8 =$
 -- | Common interface to manipulate portions of a larger data structure.
 --
 -- A projectable d s t means that it is possible to manipulate a sub-element s
--- of type t carried in a stream of type d..
+-- of type t carried in a stream of type d.
 class Projectable d s t | d s -> t where
 
   -- | Unapplied projection or element access on a type.

copilot-theorem/CHANGELOG

@@ -1,5 +1,6 @@
-2025-01-25
+2025-01-28
         * Fix multiple typos in README. (#560)
+        * Fix typo in documentation. (#587)
 
 2025-01-07
         * Version bump (4.2). (#577)

copilot-theorem/src/Copilot/Theorem/Misc/SExpr.hs

@@ -31,7 +31,7 @@ singleton a  = List [Atom a]        -- (s)
 list = List                 -- (ss)
 
 -- | Sequence of expressions with a root or main note, and a series of
--- additional expressions or arguments..
+-- additional expressions or arguments.
 node a l = List (Atom a : l)    -- (s ss)
 
 -- A straightforward string representation for 'SExpr's of Strings that