DepTyCheck is a property-based testing library for Idris 2 that provides automatic derivation of...

Tokens:29,392
Snippets:216
Trust Score:7.3
License:MPL-2.0
Update:4 months ago
Tokens:
Raw