GitHub repository: stefan-hoeck/idris2-ilex
Primary language: Idris
Created: 2024-10-23T06:20:15Z
Description: Generating fast Lexers from an Idris2 DSL