3 ms·Dependent Type Systems as Macros [pdf]17 points by EvgeniyZh 7y agodang 7y agoA recent thread: https://news.ycombinator.com/item?id=22097000 https://news.ycombinator.com/item?id=22097000