idris2-dot-parse. A lexer+parser library for the DOT language (graphviz) written in Idris2.

github.com/CodingCellist/idris2-dot-parse

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.