@Misc{            kammar2023idris,
  Author        = "Kammar, Ohad and Marek, Katarzyna",
  ArchivePrefix = "arXiv",
  date-added    = "2023-05-09 11:59:32 +0200",
  date-modified = "2023-05-09 11:59:32 +0200",
  EPrint        = "2305.04480",
  PrimaryClass  = "cs.PL",
  Title         = "Idris TyRE: a dependently typed regex parser",
  Year          = "2023",
  File          = "Idris TyRE- a dependently typed regex parser - 2305.04480.pdf"
}

@Misc{ kammar2023idris, Author = "Kammar, Ohad and Marek, Katarzyna", ArchivePrefix = "arXiv", date-added = "2023-05-09 11:59:32 +0200", date-modified = "2023-05-09 11:59:32 +0200", EPrint = "2305.04480", PrimaryClass = "cs.PL", Title = "Idris TyRE: a dependently typed regex parser", Year = "2023", File = "Idris TyRE- a dependently typed regex parser - 2305.04480.pdf" }