Masala: The Repository of Curry Packages

Last page: Version/show/Version309

Visibility

Public
Categories
Optimization Verification
Versions
3.0.0 1.0.0 0.0.1
Dependencies
base contracts currypath finite-map flatcurry flatcurry-annotated showflatcurry wl-pprint
Uploaded by
The Masala Administrator
at Aug 3 15:29:17 2020 (UTC)
Maintainer
The Masala Administrator
Deprecated
no

Succesfully tested at Feb 16 04:02:10 2023

Curry Package contract-prover

A tool to verify contracts in FlatCurry programs

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