News for hackers. Stuff that matters.

A comment on Coming Soon: Machine-Checked Proofs in Everyday Development. Parent comment

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by earleybird on Sunday December 31, 2017 @02:07AM (#16039726)
and you end up in the neighbourhood of Idris which is, I find, a pleasant experience when doing development
[ Parent | on HN ]

There are no comments on this comment yet.