On Friday, 11 March 2016 at 09:39:34 UTC, Jonathan M Davis wrote:
The Big O stuff that he worked on was done as part of working on the new containers, but it's separate from them. It provides a way to mark functions with their complexity and do inference and the like with it.- Jonathan M Davis
That sounds like something really new and useful.
