GitHub repository: CodingCellist/idris2-dot-parse
Primary language: Idris
Created: 2021-06-25T15:00:20Z
Description: A lexer+parser library for the DOT language (graphviz) written in Idris2.