Repository navigation
copilot-theorem: Typos in README #560
Description
Description
The README in copilot-theorem includes several typos, such as proportionnal, occurences and latters.
Those typos should be corrected.
Type
- Bug: typo in documentation.
Additional context
None.
Requester
- Ikko Eltociear Ashimine and Ivan Perez
Method to check presence of bug
By visual inspection, potentially using a spell checker for help. The typos are mixed with technical words, to spell checkers cannot automatically tell us with 100% certainty whether all typos have been fixed.
Expected result
The README of copilot-theorem contains no typos.
Desired result
The README of copilot-theorem contains no typos.
Proposed solution
Use a spell checker to find and fix all typos in copilot-theorem, being careful with technical terms that are correct but spell checkers do not understand, such as reification.
Further notes
None.
Activity
ivanperez-keera commentedon Nov 1, 2024
Change Manager: Confirmed that the issue exists.
ivanperez-keera commentedon Nov 1, 2024
Technical Lead: Confirmed that the issue should be addressed.
Add typos makefile, workflow and configuration, refs Copilot-Language…
UExpr not UEXpr, refs Copilot-Language#560
Fix typos in .hs files, refs Copilot-Language#560
Fix typos in markdown, refs Copilot-Language#560
Add typos makefile, workflow and configuration, refs Copilot-Language…
UExpr not UEXpr, refs Copilot-Language#560
Fix typos in .hs files, refs Copilot-Language#560
8 remaining items
copilot-theorem: Fix multiple typos in README. Refs Copilot-Language#560
copilot-theorem: Document changes in CHANGELOG. Refs Copilot-Language…
copilot-theorem: Fix multiple typos in README. Refs Copilot-Language#560
copilot-theorem: Document changes in CHANGELOG. Refs Copilot-Language…
copilot-theorem: Fix multiple typos in README. Refs Copilot-Language#560
copilot-theorem: Document changes in CHANGELOG. Refs Copilot-Language…
ivanperez-keera commentedon Jan 26, 2025
Implementor: Solution implemented, review requested.
ivanperez-keera commentedon Jan 26, 2025
Change Manager: Verified that:
Build log: https://github.com/Copilot-Language/copilot/runs/36185066616
This bug has to do with typos in the README. Because of the amount of technical terms, as well as programming examples, included in the README, there's no easy automated way to verify that all typos and all grammatical mistakes have been corrected. I have opened the README using two spell checkers and a grammar checker and have found no mistakes.
No updates needed; this change is to the documentation.
No updates needed; this change is to the documentation.
Bump not required; change is to the documentation.
ivanperez-keera commentedon Jan 26, 2025
Change Manager: Implementation ready to be merged.
Merge branch 'develop-theorem-typos'. Close Copilot-Language#560.