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 neonsunset on Thursday May 16, 2024 @03:41PM (#40382308)
2017 was right as the very first releases of .NET Core 1, 1.1 and 2.0 were happening.

It’s most likely your experience today would be a polar opposite to this.

[ Parent | on HN ]

There are no comments on this comment yet.