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 daxfohl on Thursday May 16, 2024 @11:58PM (#40386250)
So _would_ it possibly be useful for business apps? Or is that still a long way off?
[ Parent | on HN ]

There are no comments on this comment yet.