search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Standard Library documentation is broken #157

Closed alexporter8013 closed 4 months ago

alexporter8013 commented 4 months ago

Several points:

  1. In order to access the standard library documentation, you must search through the source tree to find Source/DafnyStandardLibraries and open README.md.
  2. When clicking links in Source/DafnyStandardLibraries/README.md, a few of the links are broken. Examples: Std.Math, Std.Relations, and Std.Functions
  3. The links that do work point to the repository folder, instead of the markdown file for that aspect of the standard library (this part is debatable)