Type check filter_term.py (and parts of rewrite.py)

microsoft / knossos-ksc

Compiler with automatic differentiation

Other

45 stars 10 forks source link

Closed cgravill closed 3 years ago

cgravill commented 3 years ago

Initial fixes for types to help mypy check typing. Plan to enable type checking rewrites.py but that will a larger refactoring .