Misc fixes for error messages - Githubissues

FStarLang / FStar

A Proof-oriented Programming Language

https://www.fstar-lang.org

Apache License 2.0

2.65k stars 232 forks source link

Misc fixes for error messages #3303

Closed mtzguido closed 1 month ago