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: Feb 01 2023 at 12:30 UTC