[Relay syntax/grammar/bnf] Do we have Relay language syntax documentation?

Questions
1

Hi,

I am investigating TVM on how Relay program is loaded and turned to TVM intermediate representation. I see code similar to lexer and parser as in traditional compiler. But is there any documentation for the grammar of Relay language. Something like syntax of C in BNF form as shown in link The syntax of C in Backus-Naur form.

Thanks,

2

See Language Reference — tvm 0.8.dev0 documentation (apache.org)