idris2-dot-parse

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

Stars

5

Forks

1

Language

Idris

Last Updated

Nov 30, 2021

Similar Repos