Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Types. Parent comment
I have thought about it some time ago and came up with the following proposal:
http://matej-kosik.github.io/www/doc/coq/coq-trunk-proof-tre...
There are no comments on this comment yet.
I have thought about it some time ago and came up with the following proposal:
http://matej-kosik.github.io/www/doc/coq/coq-trunk-proof-tre...