Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / wenkokke / polygen
Efficient enumeration of polymorphic λ-terms from System Fω.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wenkokke%2Fpolygen
Stars: 4
Forks: 0
Open Issues: 0
License: None
Language: Racket
Repo Size: 817 KB
Dependencies:
6
Created: over 3 years ago
Updated: over 2 years ago
Last pushed: over 2 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
polygen.cabal
hackage
- base >=4.7 && <5
- bifunctors >=5.5 && <6
- lazy-search ==0.1.2.1
- mtl >=2.2 && <3
- polygen *
- size-based ==0.1.2.1