diff options
Diffstat (limited to 'typing/TODO.md')
| -rwxr-xr-x | typing/TODO.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/TODO.md b/typing/TODO.md index 1485b70683..4b55995829 100755 --- a/typing/TODO.md +++ b/typing/TODO.md @@ -6,7 +6,7 @@ typechecker is overly complex and fragile. A big rewriting "from scratch" might be possible or desirable at some point, or not, but incremental cleanup steps are certainly accessible and could bring the current implementation in a better shape at a relatively small cost -and in a reasonnably distant future. +and in a reasonably distant future. Goals of the cleanup: |