Fix most of the compiler warnings

leanprover-community / lean4-mode

Emacs major mode for Lean 4

https://leanprover.github.io/

Apache License 2.0

64 stars 28 forks source link

Closed akirak closed 1 year ago

akirak commented 1 year ago

To help with #18, this PR fixes most of the byte-compile and melpazoid warnings.

I didn't fix checkdoc warnings, as I am not good at English.

Kha commented 1 year ago

Thank you!