If you have Telegram, you can view and join
Type theory in programming - discussion right away.