News for hackers. Stuff that matters.

A comment on A blog engine written and proven in Coq. Parent comment

Re:A blog engine written and proven in Coq by leoc on Thursday February 12, 2015 @09:00AM (#9038762)
I'm pretty sure I remember hearing fairly direct word-of-mouth confirmation that the double meaning was completely deliberate.
[ Parent | on HN ]

There are no comments on this comment yet.