bmitc on F*: A general-purpose proof-oriented programming language · Hackerly

Comment on F*: A general-purpose proof-oriented programming language parent

You'll be disappointed in F* then.