See also metaborg/jsglr#54, must be merged together with this PR.
jsglr for the full description of changes; this PR only updates the JSGLR2I class due to the changes in the JSGLR project.
@jasperdenkers you might want to update the develop/jsglr2 branch before merging :slightly_smiling_face:
See also metaborg/jsglr#54, must be merged together with this PR. jsglr for the full description of changes; this PR only updates the
JSGLR2Iclass due to the changes in the JSGLR project.@jasperdenkers you might want to update the
develop/jsglr2branch before merging :slightly_smiling_face: