Comment on F*: A general-purpose proof-oriented programming languageparentComments−aw16211071moYou never know if the person on the other end is going to be one of today's lucky 10000 :P
Comments
You never know if the person on the other end is going to be one of today's lucky 10000 :P