@Unpublished{     McBride:2013,
  Author        = "McBride, Conor",
  date-added    = "2019-03-10 12:04:14 +0100",
  date-modified = "2020-11-16 08:34:34 +0100",
  Keywords      = "agda",
  Title         = "Dependently Typed Metaprogramming (in Agda)",
  URL           = "https://github.com/pigworker/MetaprogAgda",
  Year          = "2013",
  File          = "10.1.1.706.8140 (0) (0) - a - a - e.pdf"
}

@Unpublished{ McBride:2013, Author = "McBride, Conor", date-added = "2019-03-10 12:04:14 +0100", date-modified = "2020-11-16 08:34:34 +0100", Keywords = "agda", Title = "Dependently Typed Metaprogramming (in Agda)", URL = "https://github.com/pigworker/MetaprogAgda", Year = "2013", File = "10.1.1.706.8140 (0) (0) - a - a - e.pdf" }