FStarLang / FStar

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

Parser: introduce `seq![1;2;3]` for sequence literals #3390

Closed mtzguido closed 3 months ago

mtzguido commented 3 months ago

This introduces some syntax for literal sequences. I want to rework this a bit still to obtain resugaring, but posting for comments.