News for hackers. Stuff that matters.

A comment on F* – An ML-like functional programming language aimed at program verification. Parent comment

Re:F* – An ML-like functional programming language aimed at ... by tom_mellior on Monday October 30, 2017 @05:38AM (#15583882)
Note however that the page does list a bunch of useful, completely[1] verified components just below that sentence.

[1] Modulo things like the correctness of their C semantics, assembly semantics, various extraction procedures.

[ Parent | on HN ]

There are no comments on this comment yet.