The book and the tutorial

[katsujukou]

Hi. I'm a complete newbie to F* and I'm working on the book Proof-Oriented Programming in F*.
While reading, I found that the documentation site has a link to another tutorial.
What is the relationship between these two documents? Should I have started with the tutorial instead of the book?

[aseemr]

Sorry for the confusion. The "another tutorial" that you have linked is an older version of the F* tutorial; we should delete it. The book on Proof-Oriented Programming in F* is the one that you should follow.

[katsujukou]

Sorry for my late reply.

Thank you for your comment. Now I can proceed confidently in the right direction without any concerns!

[mtzguido]

Thanks for the report @katsujukou !

I removed the old tutorial from that URL. Can you say where you found a link to it? We should probably update that pointer.

The old tutorial still remains here, with a note about it being outdated: https://fstar-lang.org/tutorial/old/tutorial.html. This is just for archival purposes, the book is the way to go.

Also, the old tutorial is still under doc/tutorial in the F* repo. Should it be...?

[katsujukou]

I'm sorry, but I do not remember clearly...
While reading, I was searching for additional learning resources, and I glanced at the contents under the doc/ directory in the repository. Then I found the document titled Verified programming in F* and I googled that title. I think that served as a pointer for me, maybe...