GitHub repository: rodrigogribeiro/idrisregexp
Primary language: Idris
Created: 2015-10-05T13:34:38Z
Description: Regular expression matching in Idris