informalsystems/modelator-py

Operations: consider additional code quality tools

danwt opened this issue · 1 comments

danwt commented
  • Consider pydantic
  • Consider various configurations for mypy
danwt commented

Closed as not really an issue, better suited to discussion.