Tag
Charlie Marsh announces that the 'ty' tool now supports all 22 cases of control flow analysis and type narrowing for advanced pattern matching.