{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:pypi/idris-python@0.2","name":"idris-python","description":"Loader for a kind of Idris IR.","version":"0.2","softwareVersion":"0.2","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":"2022-05-11","datePublished":"2019-04-25","copyrightYear":2019,"downloadUrl":"https://files.pythonhosted.org/packages/28/b5/da29038dcc50c25cd526e3e5507e849aa29d51489f2dfbf849ba1924bf12/idris_python-0.2-py3-none-any.whl","softwareHelp":{"@type":"WebSite","url":"https://idris-python.readthedocs.io/en/0.2"},"applicationCategory":"pypi","runtimePlatform":"pypi","developmentStatus":"active","sameAs":["https://pypi.org/project/idris-python/0.2"],"https://www.w3.org/ns/activitystreams#likes":24,"https://forgefed.org/ns#forks":1}