madman-bob / idris2-python

A Python backed for Idris 2
20Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for idris2-python