bram wyllie@bitmapperky·Jul 25, 2021i just found out about http://agda.github.io/agda-stdlib/Text.Regex.Search.html…11
Brendan Zabarauskas@brendanzabReplying to @bitmapperkyWoah! https://agda.github.io/agda-stdlib/README.Text.Regex.html…6:38 AM · Jul 25, 2021·Twitter Web App
