Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / UnkindPartition / prover
Simple lambda prover
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UnkindPartition%2Fprover
Stars: 24
Forks: 1
Open Issues: 0
License: mit
Language: Haskell
Repo Size: 178 KB
Dependencies:
15
Created: about 9 years ago
Updated: about 1 year ago
Last pushed: almost 9 years ago
Last synced: 22 days ago
Files
Loading...
Readme
Loading...
Dependencies
prover.cabal
hackage
- base >=4.6 && <5
- bound *
- hashable *
- hashable-extras *
- lexer-applicative >=2.1
- logict *
- mainland-pretty *
- optparse-applicative *
- parsec *
- prelude-extras *
- regex-applicative *
- srcloc *
- transformers *
- tuples-homogenous-h98 *
- unordered-containers *