search

FStarLang / FStar

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

Syntax.Free: fix incomplete match #3301

Closed mtzguido closed 1 month ago