Commit 2023-08-26 12:33 289d4614
View on Github →feat: multiple scoped in notation3 (#6793)
See the discussion on Zulip. notation3 did not support more than one occurrence of scoped due to an unnecessary limitation in the generated delaborator. It now handles this case correctly.