Re: derived integrity constaints

Thanks William!
A small detail, executing http://ppr.cs.dal.ca:3002/n3/editor/s/IlCCbibQ
shows
inference_fuse({  } => false)
instead of
inference_fuse({:a :b :c} => false)

Jos


-- https://josd.github.io/ <http://josd.github.io/>


On Tue, May 11, 2021 at 3:26 PM William Van Woensel <
william.vanwoensel@gmail.com> wrote:

> Updated the N3 editor with the new Eye version!
>
>
>
> *From:* Jos De Roo <josderoo@gmail.com>
> *Sent:* May-10-21 7:09 PM
> *To:* public-n3-dev@w3.org; William Van Woensel <
> william.vanwoensel@gmail.com>
> *Subject:* derived integrity constaints
>
>
>
> From the meeting today:
>
> PA: http://ppr.cs.dal.ca:3002/n3/editor/s/IlCCbibQ ; doesn’t work in Eye
> currently
>
> This is now fixed in the latest EYE
> https://github.com/josd/eye/releases/tag/v21.0510.2007
>
> @William Van Woensel <william.vanwoensel@gmail.com> it would be nice if
> you could install it at  http://ppr.cs.dal.ca
>
>
>
> Jos
>
>
> -- https://josd.github.io/ <http://josd.github.io/>
>