Idris TyRE: a dependently typed regex parser. - Ohad Kammar; Katarzyna Marek (CoRR, 2023)