bigs / idris2-libgit2

Libgit2 bindings for Idris 2
14Updated 4 years ago

Related projects

Alternatives and complementary repositories for idris2-libgit2