Rare find

idris-py. Python backend for Idris (generates Python source, not bytecode).

github.com/ziman/idris-py
by @ziman

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.