search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Revert "Parser.Dep: remove wrong logic for FStar.Stubs" #3567

Closed mtzguido closed 1 month ago

mtzguido commented 1 month ago

I thought this was not needed but was very wrong. Reverting and adding a note about it.