search

leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
204 stars 47 forks source link

fix: correct some typos, following Grammarly (2) #109

Closed jcommelin closed 10 months ago

jcommelin commented 1 year ago

Thanks a lot for those improvements @Julian!

Julian commented 1 year ago

I think this lgtm too after fixing the merge conflict! Thanks for the PRs too.

lakesare commented 10 months ago

Oh! Thanks for fixing these @jcommelin and @Julian.