[Iris-Club] Iris documentation

[Derek Dreyer]

It's the best place there is.

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
>