AppsWithCode
Open main menu
Javascript
Python
Rust
Java
Swift
Clojure
More
About
→
specdris
https://github.com/pheymann/specdris
Idris
56
5 years ago
Reviews
A test framework for Idris
Search similar apps
idris
idris-ecosystem
test-framework
testing
unit-testing
unittest
License
MIT License
Share
Share on Facebook
Share on Instagram
Share on Twitter
Details
License
A test framework for Idris
Creator
pheymann
Related apps