{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:pypi/idris-python@0.25","name":"idris-python","description":"Loader for a kind of Idris IR.","version":"0.25","softwareVersion":"0.25","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/thautwarm/idris-python","issueTracker":"https://github.com/thautwarm/idris-python/issues","url":"https://github.com/thautwarm/idris-python","keywords":["Idris","Dependent Types","Type Safety","Compiler"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Python"},"maintainer":[{"@type":"Person","name":"thautwarm"}],"author":[{"@type":"Person","name":"thautwarm"}],"copyrightHolder":[{"@type":"Person","name":"thautwarm"}],"dateCreated":"2019-04-25","dateModified":"2026-07-25","datePublished":"2019-04-25","copyrightYear":2019,"downloadUrl":"https://files.pythonhosted.org/packages/ec/3d/53b6930fec3aec67d5d3a0a6fa83b616f66c3b6774354fb55495c95eea25/idris_python-0.25-py3-none-any.whl","softwareHelp":{"@type":"WebSite","url":"https://idris-python.readthedocs.io/en/0.25"},"applicationCategory":"pypi","runtimePlatform":"pypi","developmentStatus":"active","sameAs":["https://pypi.org/project/idris-python/0.25"],"https://www.w3.org/ns/activitystreams#likes":24,"https://forgefed.org/ns#forks":1}