TY  - RPRT
TI  - Idris TyRE: a dependently typed regex parser
AU  - Ohad Kammar
AU  - Katarzyna Marek
PY  - 2023
UR  - https://arxiv.org/abs/2305.04480
ID  - 2305.04480
ER  -