News for hackers. Stuff that matters.

A comment on The C standard formalized in Coq. Parent comment

Re:The C standard formalized in Coq by ctstover on Monday November 30, 2015 @02:17PM (#10651109)
well what ever the reasons, the font displays about 75% the size of the HN font. Plus the font itself just looks odd to me.
[ Parent | on HN ]

There are no comments on this comment yet.