Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Notes on Idris (2017). Parent comment
https://en.wikipedia.org/wiki/ATS_(programming_language)
There are no comments on this comment yet.
https://en.wikipedia.org/wiki/ATS_(programming_language)