chore: small things in wording

bamboo / idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server

MIT License

29 stars 13 forks source link

Closed Nonius closed 3 years ago

Nonius commented 3 years ago

Small wording changes and some changes suggested by linting

bamboo commented 3 years ago

Thank you!