hydrolarus / toml-idr

A TOML parser for Idris 2
15Updated 4 months ago

Related projects

Alternatives and complementary repositories for toml-idr