> There's no lint or compiler that can check for correctly constructed contracts. There are definitely linters and this exists https://catala-lang.org/ https:

> There's no lint or compiler that can check for correctly constructed contracts. There are definitely linters and this exists https://catala-lang.org/ https://catala-lang.org/