search

stefan-hoeck / idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.
BSD 2-Clause "Simplified" License
76 stars 16 forks source link

[ doc ] Fix spelling in some places #26

Closed buzden closed 2 years ago

buzden commented 2 years ago

We'd probably want to set up something like this, but it will require time to fill up specific words whitelist.

stefan-hoeck commented 2 years ago

It probably just helps if I enable spell-checking in my neovim installation :-). Anyway, thanks for the fixes.