Merge pull request #3190 from FStarLang/_BuildHints-master

Advance to 2024.01.13~dev
FStarLang · Jan 13, 2024 · 1d823c2 · 1d823c2
2 parents e4cdebf + b594d75
commit 1d823c2
Show file tree

Hide file tree

Showing 1,250 changed files with 21,768 additions and 20,419 deletions.
diff --git a/doc/book/code/AdHocEffectPolymorphism.fst.hints b/doc/book/code/AdHocEffectPolymorphism.fst.hints
diff --git a/doc/book/code/Alex.fst.hints b/doc/book/code/Alex.fst.hints
diff --git a/doc/book/code/AlexOpaque.fst.hints b/doc/book/code/AlexOpaque.fst.hints