issues
search
FStarLang
/
FStar
A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k
stars
234
forks
source link
Reflection.Typing: add missing universe instantiation in elab_pat
#3439
Closed
mtzguido
closed
2 months ago