Hi, I was wondering if there exists a way to lint vernac files? Or are there any other ways to enforce some coding standards and prevent anti-patterns?
I have been looking around but I could not find anything of the sort.
Last updated: Oct 03 2023 at 04:02 UTC