3 ms·
We had a thread about this yesterday actually. https://news.ycombinator.com/item?id=22914333 https://news.ycombinator.com/item?id=22914333
by dependenttypes 6y ago
We had a thread about this yesterday actually. https://news.ycombinator.com/item?id=22914333 https://news.ycombinator.com/item?id=22914333