ParentFull threadescape_key·Is says "Last updated January 9, 2022" at the bottom of the page. But I guess the article is about the type checker version of February 2013?View on HN