verify-3.1.0 ------------ Version 3.1.0 Author Michael Hanus Synopsis A tool to support the verification of Curry programs Category Verification Dependencies base >= 3.0.0, < 4.0.0 abstract-curry >= 3.0.0, < 5.0.0 cass-analysis >= 3.0.0, < 5.0.0 cass >= 3.0.0, < 5.0.0 currycheck >= 3.0.0, < 5.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 filepath >= 3.0.0, < 4.0.0 peano >= 1.0.0 process >= 3.0.0, < 4.0.0 rewriting >= 3.0.0, < 4.0.0 scc >= 3.0.0, < 4.0.0 time >= 3.0.0, < 4.0.0 Executable Name curry-verify Main module ToVerifier Exported modules ToVerifier VerifyOptions ToAgda Config module VerifyPackageConfig Test suite Directory examples Test modules TestVerify Source Git https://github.com/curry-packages/verify.git@v3.1.0 License BSD-3-Clause License file LICENSE