Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Programming paradigms that change how people think about coding (2014). Parent comment
As if that's all dependent types are?
As if that's all dependent types are?