8h agoUIUC professor Talia Ringer jokes about dreaming of a metal concert themed around Agda and Homotopy Type TheoryAnother user suggested progressive metal band TesseracT play the gigSentimentSentimentPos100%Neg0%Users are enthusiastic about creating an Agda Homotopy Type Theory metal concert, suggesting bands like TesseracT and encouraging the idea to become reality.2 comments with sentiment. View comments.