Tagged Questions
2
votes
2answers
262 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 ...