Wheelodex » Projects » idris-python

idris-python

View on PyPI — Reverse Dependencies (0)

0.25	idris_python-0.25-py3-none-any.whl

Wheel Details

Project:	idris-python
Version:	0.25
Filename:	idris_python-0.25-py3-none-any.whl
Download:	[link]
Size:	11465
MD5:	`8b0fb42d8bf9e34ff8276f7674020bcd`
SHA256:	`dd5b1d9a4fa571b4143dbba66db1635a6d1582e80376394fc781e52d467dedcc`
Uploaded:	2019-04-25 00:34:12 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version:	2.1
Name:	idris-python
Version:	0.25
Summary:	Loader for a kind of Idris IR.
Author:	thautwarm
Author-Email:	twshere[at]outlook.com
Home-Page:	https://github.com/thautwarm/idris-python
License:	bsd3
Keywords:	Idris,Dependent Types,Type Safety,Compiler
Classifier:	Programming Language :: Python :: 3.5
Classifier:	Programming Language :: Python :: 3.6
Classifier:	Programming Language :: Python :: 3.7
Classifier:	Programming Language :: Python :: Implementation :: CPython
Platform:	any
Requires-Dist:	wisepy2
Requires-Dist:	toml

[Description omitted; length: 2393 characters]

WHEEL

Wheel-Version:	1.0
Generator:	bdist_wheel (0.31.1)
Root-Is-Purelib:	true
Tag:	py3-none-any

RECORD

Path	Digest	Size
idris_python/__init__.py	sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU	0
idris_python/abstract_machine.py	sha256=D2GXuz_f0-kNM3AnhZZK8LQIkNJ0vkvI0gT6ndv8fHk	18529
idris_python/cli.py	sha256=-sezJJ3eRBVkwKRa6FLNK4f1K2IQ3o0taA3EsW5cs3Q	1961
idris_python/idris_apis.py	sha256=5UIAu-UvHJX7T0TimvWGLSDyyHgYkXGfIyh54leQ1U4	3937
idris_python/loader.py	sha256=SYb6423ke7P4gmLHacfobwhMp5hjh9qbJZc1u7gOliA	199
idris_python/read_ir.py	sha256=BvYiq3EWhYJ2F1-RBFEF4S4vz0Cgowzg1P79TqalYCY	2006
idris_python/runtime.py	sha256=yu_Am4Q3ZpY_zdaEE_pvs34_vFHIxaNpKUQ_Sj2soWI	3659
idris_python-0.25.dist-info/METADATA	sha256=bPi5f8zhjwysPl206BtuBA4NFNCXpbeIWj6dDl7T_TA	2940
idris_python-0.25.dist-info/RECORD	—	—
idris_python-0.25.dist-info/WHEEL	sha256=NzFAKnL7g-U64xnS1s5e3mJnxKpOTeOtlXdFwS9yNXI	92
idris_python-0.25.dist-info/entry_points.txt	sha256=bphAkHYfUWGDj1__ACKvESSwIvDehJEDBo5t4dGDMZY	103
idris_python-0.25.dist-info/top_level.txt	sha256=AFIJ3BGS19ZZr0haeo85kqJucU_1HSQmRO2t0in5_c0	13

top_level.txt

idris_python

entry_points.txt

[console_scripts]

idris-python = idris_python.cli:idris_python_run

run-cam = idris_python.cli:cam_run