News for hackers. Stuff that matters.

A comment on F* – A Proof-Oriented Programming Language. Parent comment

Re:F* – A Proof-Oriented Programming Language by barrenko on Thursday May 16, 2024 @01:07PM (#40380696)
There are some trading companies as well, I guess because it's ocaml adjacent.
[ Parent | on HN ]

There are no comments on this comment yet.