Formal language specification
tim-hoffman opened this issue · 1 comments
tim-hoffman commented
Is there a formal specification of the language available anywhere? I'm looking for a complete specification of the syntax and semantics of Circom. I've read https://docs.circom.io/circom-language/signals/ but it is not comprehensive. Thanks!