Masala: The Repository of Curry Packages

Last page: Version/show/Version544

Visibility

Public
Category
Verification
Versions
3.0.0 2.0.0 0.0.2 0.0.1
Dependencies
cass cass-analysis currycheck
Exported modules
ToAgda ToVerifier VerifyOptions
Uploaded by
The Masala Administrator
at Apr 1 12:05:19 2020 (UTC)
Maintainer
The Masala Administrator
Deprecated
no

not tested

Curry Package verify

A tool to support the verification of Curry programs

Detailed package documentation (available shortly after this version has been published)