Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Kind: A Modern Proof Language. Parent comment
> Guess I'll end up adding a bracket-less version
Don't make a decision just by listening to some random strangers like me!
There are no comments on this comment yet.
> Guess I'll end up adding a bracket-less version
Don't make a decision just by listening to some random strangers like me!