[Iris-Club] Iris documentation

[Arthur Azevedo de Amorim]

Here's another one: the definition of except-0 on p21 mentions "Prop";
shouldn't that be something involving "P"?

Em sex, 2 de dez de 2016 às 14:44, Arthur Azevedo de Amorim <
aarthur at seas.upenn.edu> escreveu:

> Em sex, 2 de dez de 2016 às 14:27, Derek Dreyer <dreyer at mpi-sws.org>
> escreveu:
>
> It's the best place there is.
>
>
> Great! Here's a couple of things that I've noticed:
>
> p26.
>
> - "Furthermore, we assume that instances named \gamma_State, ... we will
> later discuss how  this assumption is discharged." I don't think this is
> being discussed elsewhere.
>
> p27.
>
> - "There are no rules related to invariants here. Those rules will be
> discussed later, in §8.2." This sentence appears at the end of 8.2, but
> there's nothing about invariants in there.
>
> Arthur
>
>
>
> Derek
>
>
> On Fri, Dec 2, 2016 at 8:19 PM, Arthur Azevedo de Amorim
> <aarthur at seas.upenn.edu> wrote:
> > Greetings everyone,
> >
> > What is the best channel to report inconsistencies on the Iris
> > documentation? Is this mailing list a good place?
> >
> > Cheers,
> >
> > Arthur
> >
> > --
> > iris-club at lists.mpi-sws.org - Mailing List for the Iris Logic
> > Management: https://lists.mpi-sws.org/listinfo/iris-club
> > Unsubscribe: iris-club-unsubscribe at lists.mpi-sws.org
> >
>
> --
> iris-club at lists.mpi-sws.org - Mailing List for the Iris Logic
> Management: https://lists.mpi-sws.org/listinfo/iris-club
> Unsubscribe: iris-club-unsubscribe at lists.mpi-sws.org
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20161202/73c3f160/attachment.html>