Hi community!, a colleague of mine is trying to typeset a grammar from a model in Redex, using redex/pict. So far, he has obtained a nice-looking typesetting of the productions, but with the inconvenience that they are not abstract. In particular, there are parentheses around every list of symbols, as in Redex. Since it seems that redex/pict does not generate the latex code (or does it?), we are not able to get rid of those concrete-syntax details. Is there any known/simple way of doing it?
Thanks in advance!, Mallku -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/3c6330fe-a048-4561-98bf-495c9b92e06an%40googlegroups.com.
