Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Idris: A Language for Type-Driven Development. Parent comment
Fair enough and thank you for the kind words. :)
There are no comments on this comment yet.
Fair enough and thank you for the kind words. :)