summaryrefslogtreecommitdiff
path: root/typing/TODO.md
Commit message (Expand)AuthorAgeFilesLines
* Make check-typo happySébastien Hinderer2019-10-151-2/+2
* update typing/TODO.mdGabriel Scherer2019-10-081-0/+25
* Remove unnecessary executable bit from sources (#2270)David Allsopp2019-02-281-0/+0
* Fixing typos in various files (#2246)Fourchaux2019-02-131-1/+1
* Typoalainfrisch2018-10-251-1/+1
* Goalsalainfrisch2018-10-251-0/+13
* Take reviewer comments into accountalainfrisch2018-10-251-7/+5
* Forgot note about code coveragealainfrisch2018-10-241-0/+4
* A public TODO list for cleaning up the typechecker implementationalainfrisch2018-10-241-0/+64