Comment on F*: A general-purpose proof-oriented programming languageparentComments−kasumispencer21moIs there actually any difference when it's just one (1) link away? Are most of us seriously this busy that we cannot spend even half a minute on this?−broken-kebab1moThere's a difference, yes. How big it is isn't really relevant question cause its simply an unnecessary tax on visitors.
Comments
Is there actually any difference when it's just one (1) link away? Are most of us seriously this busy that we cannot spend even half a minute on this?
There's a difference, yes. How big it is isn't really relevant question cause its simply an unnecessary tax on visitors.