3 ms·

Any language where you can define the type for its own AST is homoiconic, isn't it? So what is the big deal?