GitHub repository: ziman/idris-py
Primary language: Haskell
Created: 2015-04-27T09:02:50Z
Description: Python backend for Idris (generates Python source, not bytecode).