FStarLang
Introduction.rst claims to be literate F*
Introduction.rst says:
The present file is ``Introduction.fst`` and can be found in the ``book``
directory of KaRaMeL.
However, that hasn't been accurate since commit 45dad91bd3b8424b197c970f24863bb1d0c3cd0c on Mar 4, 2020.
If you still wish to talk about any of this code being literate, you're going to need a new example; it looks like LinkedList4.fst and RingBuffer.fst may be the only remaining literate files, and RingBuffer.fst seems like a better example?
Can you clarify your bug report? I still see the file here: https://github.com/FStarLang/karamel/blob/master/book/Introduction.rst
Ah, yeah, 1-letter differences are easy to miss. Expanding for clarity:
The .rst (ReStructuredText) file is indeed there. The text, however, refers to a .fst ([Literate] F*) file that hasn't existed for over 5 years, but when it did exist, was the source for this section of the manual.