PyPI recent updates for idris-python https://pypi.tw.martin98.com/project/idris-python/ Recent updates to the Python Package Index for idris-python en 0.25 https://pypi.tw.martin98.com/project/idris-python/0.25/ Loader for a kind of Idris IR. twshere@outlook.com Thu, 25 Apr 2019 00:34:12 GMT 0.2 https://pypi.tw.martin98.com/project/idris-python/0.2/ Loader for a kind of Idris IR. twshere@outlook.com Thu, 25 Apr 2019 00:09:58 GMT