scarletindustries / mordant

git clone https://github.com/scarletindustries/mordant.git

Lints that find code where the type system is not enforcing the invariants the code depends on.