pypi.org : idris-python
Loader for a kind of Idris IR.
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/idris-python
Keywords:
Idris
, Dependent Types
, Type Safety
, Compiler
, idris
, idris-ecosystem
, python
, python3
License: BSD-3-Clause
Latest release: almost 6 years ago
First release: almost 6 years ago
Dependent repositories: 1
Downloads: 56 last month
Stars: 24 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago
Loading...
Readme
Loading...