Talk:Compiler/Verifying syntax: Difference between revisions