bower.io : idris-assert

A simple idris assertion library

Source - JSON - codemeta.json
purl: pkg:bower/idris-assert
Keywords: idris , assert , assertion , assertions , idris-assertion-library , test , tests , unit
License: MIT
Latest release: over 8 years ago
First release: over 8 years ago
Dependent packages: 1
Dependent repositories: 1
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago

• Readme
• Versions 2
• Dependent Packages 1
• Maintainers 0