Skip to content

Commit

Permalink
fix editor link!
Browse files Browse the repository at this point in the history
  • Loading branch information
william-vw authored and william-vw committed Dec 15, 2023
1 parent fb23e88 commit c83e376
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion spec/index.bs
Original file line number Diff line number Diff line change
Expand Up @@ -2350,7 +2350,7 @@ This mechanism works because an effort is made to ensure the truth of builtin st
<div class=ex_container >
<a href="https://editor.notation3.org/?formula=%40prefix+%3A+%3Chttp%3A%2F%2Fexample.org%2F%3E.%0A%40prefix+log%3A+%3Chttp%3A%2F%2Fwww.w3.org%2F2000%2F10%2Fswap%2Flog%23%3E+.%0A%40prefix+owl%3A+%3Chttp%3A%2F%2Fwww.w3.org%2F2002%2F07%2Fowl%23%3E+.%0A%0A%3Chttp%3A%2F%2Ffamous.web.site%3E+owl%3AsameAs+%3Chttp%3A%2F%2Fmirror.famous.web.site%3E+.%0A%0A%7B%0A++++%3Chttp%3A%2F%2Ffamous.web.site%3E+log%3AequalTo+%3Chttp%3A%2F%2Ffamous.web.site%3E+.%0A%0A++++%23+But+not%0A++++%23%0A++++%23+%3Chttp%3A%2F%2Ffamous.web.site%3E+log%3AequalTo+%3Chttp%3A%2F%2Fmirror.famous.web.site%3E+.%0A++++%23%0A++++%23+and+not%0A++++%23%0A++++%23+%3Chttp%3A%2F%2Ffamous.web.site%23123%3E+log%3AequalTo+%3Chttp%3A%2F%2Ffamous.web.site%3E+.%0A++++%23%0A%7D%0A%3D%3E%0A%7B%0A++++%3Aresult+%3Ais+true+.%0A%7D+." target="_blank">try in editor &#128640;</a><div class=example>
<p>
Determine <http://famous.web.site> is equal to itself .
Determine &lt;http://famous.web.site&gt; is equal to itself .

<p><b>Formula:</b>
```
Expand Down
2 changes: 1 addition & 1 deletion spec/src/log/equalTo.n3
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ Literals will be compared exactly: their datatypes must be identical (in case of
fno:example (
[ a fno:Test ;
dcterms:description """
Determine <http://famous.web.site> is equal to itself .
Determine &lt;http://famous.web.site&gt; is equal to itself .
""" ;
rdfs:seeAlso <> ;
fno:expression """
Expand Down

0 comments on commit c83e376

Please sign in to comment.