Comment on F*: A general-purpose proof-oriented programming languageparentComments−oxavier1moReally appreciate the effort put into a seemingly naive questions, thanks.−aw16211071moYou never know if the person on the other end is going to be one of today's lucky 10000 :P
Comments
Really appreciate the effort put into a seemingly naive questions, thanks.
You never know if the person on the other end is going to be one of today's lucky 10000 :P