Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / danr / tip
Tools for Inductive Provers
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/danr%2Ftip
Stars: 2
Forks: 0
Open Issues: 0
License: None
Language: Haskell
Repo Size: 414 KB
Dependencies:
19
Created: over 9 years ago
Updated: over 4 years ago
Last pushed: about 9 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
- QuickCheck ==2.7.*
- base *
- base ==4.*
- bytestring ==0.10.*
- containers ==0.5.*
- directory ==1.2.*
- filepath ==1.3.*
- geniplate ==0.6.*
- ghc *
- ghc-paths ==0.1.*
- mtl ==2.1.*
- pretty ==1.1.*
- pretty *
- pretty-show *
- process ==1.2.*
- split ==0.2.*
- tip-haskell-frontend *
- tip-lib ==0.1
- tip-lib *