✓

@Book{            book:1681700,
  Author        = "Brady, Edwin",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1",
  ISBN          = "1617293024,9781617293023",
  Publisher     = "Manning Publications",
  Title         = "Type-driven Development with Idris",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=0462e4d37ddee4bbf33fbb5a6533d166",
  Year          = "2017",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=0462e4d37ddee4bbf33fbb5a6533d166",
  File          = "[Edwin\_Brady]\_Type-driven\_Development\_with\_Idris(z-lib.org) (0) (0) - a - a.pdf"
}

@Book{ book:1681700, Author = "Brady, Edwin", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1", ISBN = "1617293024,9781617293023", Publisher = "Manning Publications", Title = "Type-driven Development with Idris", URL = "http://gen.lib.rus.ec/book/index.php?md5=0462e4d37ddee4bbf33fbb5a6533d166", Year = "2017", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=0462e4d37ddee4bbf33fbb5a6533d166", File = "[Edwin_Brady]_Type-driven_Development_with_Idris(z-lib.org) (0) (0) - a - a.pdf" }