Siftor Siftor the toy Regular Expression Engine in Idris Syntax example -- Match http(s)://xxx.com (http(+s)://(*_).com)