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