4 ms·
I replied to another post about this https://news.ycombinator.com/item?id=21145050 https://news.ycombinator.com/item?id=21145050
by dependenttypes 7y ago
I replied to another post about this https://news.ycombinator.com/item?id=21145050 https://news.ycombinator.com/item?id=21145050