Dependent Types - salvation or plague?

Final preparations for Lambda Days 2021 are in full swing! You can have a taste of the February event by joining our completely free and open meetup: Dependent Types - salvation or plague? This panel discussion will be hosted by our well-known Lambda Days Program Committee member, John Hughes, and attended by guests with enthusiastic, or not that much, views on types. Guests include Stephanie Weirich, Edwin Brady, Adam Chlipala and Thorsten Altenkirch. Please register here: https://www.airmeet.com/e/4d96c880-5982-11eb-ac04-6124f038041d