By playing around in Spoofax, I realized that there are NaBL clauses like resolves to and definition of. Is there any documentation for these features? If not, could you provide some here?

Asked by Michael on 6 August 2015 at 10:02