@TechReport{      KokkeSwierstra2015,
  Author        = "Kokke, Wen and Swierstra, Wouter",
  date-added    = "2019-04-29 14:30:58 +0200",
  date-modified = "2019-04-29 14:31:27 +0200",
  Title         = "Auto in Agda",
  Year          = "2015",
  File          = "mpc2015 (0) - a - a - w.pdf"
}

@TechReport{ KokkeSwierstra2015, Author = "Kokke, Wen and Swierstra, Wouter", date-added = "2019-04-29 14:30:58 +0200", date-modified = "2019-04-29 14:31:27 +0200", Title = "Auto in Agda", Year = "2015", File = "mpc2015 (0) - a - a - w.pdf" }