Skip to content

doc: run spellchecker on project#183

Merged
4e554c4c merged 2 commits intoagda:masterfrom
foxyseta:doc/typos
Oct 31, 2025
Merged

doc: run spellchecker on project#183
4e554c4c merged 2 commits intoagda:masterfrom
foxyseta:doc/typos

Conversation

@foxyseta
Copy link
Contributor

I ran a spellchecker (typos) to fix a few typos. The project still builds.

@4e554c4c 4e554c4c merged commit 3691650 into agda:master Oct 31, 2025
7 of 9 checks passed
@4e554c4c
Copy link
Collaborator

lol

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants