Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / SophieBosio / contra
A friendly functional language for finding counterexamples 🎯
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SophieBosio%2Fcontra
Stars: 2
Forks: 0
Open Issues: 0
License: gpl-3.0
Language: Haskell
Repo Size: 455 KB
Dependencies:
24
Created: 6 months ago
Updated: 17 days ago
Last pushed: 17 days ago
Last synced: 17 days ago
Topics: counterexample, haskell, pbt, property-based, quickcheck
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/hlint.yaml
actions
- actions/checkout v3 composite
- haskell/actions/hlint-run v2 composite
- haskell/actions/hlint-setup v2 composite
.github/workflows/tests.yaml
actions
- actions/checkout v3 composite
- haskell/actions/setup v1 composite
contra.cabal
hackage
- base >=4.7 && <5
- containers >=0.6.7 && <=0.7.0
- contra *
- hashable ==1.4.3.*
- mtl >=2.2 && <2.4
- parsec ==3.1.*
- sbv >=10.0 && <10.4
- tasty ==1.4.*
- tasty-quickcheck ==0.10.*
- base >=4.7 && <5 test
- containers >=0.6.7 && <=0.7.0 test
- contra * test
- hashable ==1.4.3.* test
- mtl >=2.2 && <2.4 test
- parsec ==3.1.* test
- sbv >=10.0 && <10.4 test
- tasty ==1.4.* test
- tasty-hunit ==0.10.* test
- tasty-quickcheck ==0.10.* test