contracts-0.0.1 --------------- Version 0.0.1 Author Michael Hanus Synopsis Some auxiliaries used by various Curry tools to check contracts Category Programming Testing Dependencies base >= 1.0.0, < 2.0.0 flatcurry >= 2.0.0 setfunctions >= 0.0.1 Compiler compatibility pakcs >= 2.0.0, < 3.0.0 kics2 >= 2.0.0, < 3.0.0 Exported modules Contract.Names Contract.Usage Test.Contract Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/contracts.git@v0.0.1 License BSD-3-Clause License file LICENSE