gdr-im, PT, zulip coq, LOGIC termtools@lists.rwth-aachen.de, cade@itu.dk, categories@mta.ca, GAMES@lists.rwth-aachen.de, agda@lists.chalmers.se, types@lists.chalmers.se, eutypes@cs.ru.nl, types-list@lists.seas.upenn.edu, (types announce??) haskell-cafe@haskell.org, caml-list@inria.fr>, haskell@haskell.org, types-announce@lists.seas.upenn.edu, coq-club@inria.fr,