[ANN] Copilot 4.1

[ivanperez-keera]

Hi everyone!!

We are very excited to announce Copilot 4.1. This release fixes a bug in copilot-theorem that manifests when the same extern name is used multiple times with different types. We have also updated examples, and updated the documentation to help users enable updates for structs, and to help users install copilot in Fedora.

Another update to the Copilot project is that we are now accepting code contributions from external participants again. Please see the discussions and the issues to learn how to participate.

Thanks to @fdedden @RyanGlScott for their work making Copilot better every day.

For details on this release, see: https://github.com/Copilot-Language/copilot/releases/tag/v4.1.

As always, we're releasing exactly 2 months since the last release. Our next release is scheduled for Jan 7th, 2025.

Current emphasis is on improving the codebase in terms of stability and test coverage, removing unnecessary dependencies, hiding internal definitions, formatting the code to meet our new coding standards, and simplifying the Copilot interface. Users are encouraged to participate by opening issues and asking questions in this discussions section.

Happy Haskelling!