Comment on F*: A general-purpose proof-oriented programming languageparentComments−kasumispencer21moClicked like 5 pages and never found 1 code example.But I clicked one (1) link to the online book and found a thousand?−giancarlostoro1moShould be on the home page of any programming language site.−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
But I clicked one (1) link to the online book and found a thousand?
Should be on the home page of any programming language site.
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.