Top 6.7% on proxy.golang.org
proxy.golang.org : github.com/pheymann/specdris
A test framework for Idris
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:golang/github.com/pheymann/specdris
Keywords:
idris
, idris-ecosystem
, test-framework
, testing
, unit-testing
, unittest
License: MIT
Latest release: over 7 years ago
First release: over 8 years ago
Stars: 56 on GitHub
Forks: 9 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago
No maintainers found.