Comment on F*: A general-purpose proof-oriented programming languageparentComments−summarity1moWhat? There’s literally a completely interactive book linked right from the home page.
Comments
What? There’s literally a completely interactive book linked right from the home page.