2
votes
2answers
316 views

How to automatically separate words in inference from semantic package?

I'm trying to use inference from semantic package to describe static semantics of a language. I would like to separate nonterminals in inference rules with spaces without inserting them by hand. Is ...