UIUC professor Talia Ringer jokes about dreaming of a metal concert themed around Agda and Homotopy Type Theory · Digg