Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / sweirich / challenge
Strongly-typed System F in Haskell
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sweirich%2Fchallenge
Stars: 112
Forks: 9
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 16.8 MB
Dependencies:
4
Created: over 5 years ago
Updated: 3 months ago
Last pushed: over 1 year ago
Last synced: 3 months ago
Files
Loading...
Readme
Loading...
Dependencies
debruijn/debruijn.cabal
hackage
- Cabal *
- QuickCheck >=2.12
- base >=4.13
- singletons >=2.6 && <3.0