Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jroesch / dependent-tychk
Experiments in dependent typing
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jroesch%2Fdependent-tychk
Stars: 0
Forks: 0
Open Issues: 0
License: mit
Language: Haskell
Repo Size: 492 KB
Dependencies:
8
Created: over 9 years ago
Updated: over 8 years ago
Last pushed: about 9 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
hubris.cabal
hackage
- array *
- base ==4.7.*
- bound *
- containers *
- haskeline *
- mtl *
- prelude-extras *
- pretty *