News for hackers. Stuff that matters.

A comment on Writing a formally-verified image browser in Coq and Haskell. Parent comment

Re:Writing a formally-verified image browser in Coq and Haskell by wtf_is_up on Saturday August 26, 2017 @08:47AM (#15105210)
I prefer to not speak English at all, but to just grunt and make gestures like a chimpanzee.
[ Parent | on HN ]

There are no comments on this comment yet.