Add dedicated content on determinism and methods vs. functions to the reference manual #5372
Labels
part: documentation
Dafny's reference manual, tutorial, and other materials
priority: next
Will consider working on this after in progress work is done
What change in documentation do you suggest?
Users are frequently confused about the rules around
:|
, for example. https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml252.pdf contains all the raw content we need, but it should be condensed and streamlined into a single short section, and probably linked to from several other places in the documentation.The text was updated successfully, but these errors were encountered: