regexp-agda

The paper describing the work in this repo can be found here.