search

w3c / N3

W3C's Notation 3 (N3) Community Group
48 stars 18 forks source link

fixed one evaluation rule #72

Closed TallTed closed 3 years ago

TallTed commented 3 years ago

from @gkellogg's comment, https://github.com/w3c/N3/pull/68#discussion_r589756961

gkellogg commented 3 years ago

The change hits more than just this one file. This should be closed in preference to #73.

TallTed commented 3 years ago

@gkellogg - Ah, I didn't notice the multiple hits; closing #72.

I've put my rephrase into #73, as I think it is clearer.