idris-python (pypi): Loader for a kind of Idris IR.
Keywords: Idris|Dependent|Types|Type|Safety|Compiler|idris|idris-ecosystem|python|python3