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 sitkack on Tuesday October 31, 2017 @10:33AM (#15593501)
Vs the pile that is OpenSSL.
[ Parent | on HN ]

There are no comments on this comment yet.