2 ms·See https://news.ycombinator.com/item?id=24254844 https://news.ycombinator.com/item?id=24254844by dependenttypes 6y agoSee https://news.ycombinator.com/item?id=24254844 https://news.ycombinator.com/item?id=24254844