doc: run spellchecker on project

Author: foxyseta

src/Cornelis/Pretty.hs

@@ -25,7 +25,7 @@ import           Prettyprinter.Internal.Type
 -- The suffix after @Cornelis/XXX/@ matches the names as returned by Agda, contained in 'C.hl_atoms'.
 -- How these names are generated is not documented on Agda's side, but the implementation can be found at
 -- ['Agda.Interaction.Highlighting.Common.toAtoms'](https://github.com/agda/agda/src/full/Agda/Interaction/Highlighting/Common.hs).
--- The correspoding Agda types are found in 'Agda.Interaction.Highlighting.Precise'.
+-- The corresponding Agda types are found in 'Agda.Interaction.Highlighting.Precise'.
 --
 -- NOTE:
 --  * When modifying this type, remember to sync the changes to @syntax/agda.vim@