Comment on F*: A general-purpose proof-oriented programming languageparentComments−broken-kebab1moThere's a difference, yes. How big it is isn't really relevant question cause its simply an unnecessary tax on visitors.
Comments
There's a difference, yes. How big it is isn't really relevant question cause its simply an unnecessary tax on visitors.