Open BenjaminRodenberg opened 2 weeks ago
To make the API of the FEniCS adapter more stable, I think using a tool like mypy would be helpful. We can also automatize the type-checking process by introducing some workflows / pre-commit hooks in our CI pipeline (related to #187)
See https://mypy-lang.org/.
To make the API of the FEniCS adapter more stable, I think using a tool like mypy would be helpful. We can also automatize the type-checking process by introducing some workflows / pre-commit hooks in our CI pipeline (related to #187)
See https://mypy-lang.org/.