Comment on F*: A general-purpose proof-oriented programming languageparentComments−voodooEntity1moThank you ! I just had the absolute same experience and was about to write a similar comment - take my upvote instead !
Comments
Thank you ! I just had the absolute same experience and was about to write a similar comment - take my upvote instead !