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,