Skip to content

Commit

Permalink
feat(tactic/lint): add a linter for [fintype _] assumptions (#15202)
Browse files Browse the repository at this point in the history 
Adopted from the `decidable` linter.
  • Loading branch information
@urkud
urkud committed Jul 12, 2022
1 parent 423a8b9 commit d6d3d61
Show file tree
Hide file tree
Showing 2 changed files with 662 additions and 3 deletions.

0 comments on commit d6d3d61

Please sign in to comment.