dsdcurry-1.0.0 -------------- Version 1.0.0 Author Sergio Antoy Michael Hanus Maintainer Michael Hanus Synopsis A tool for declarative software development Category Programming Debugging Dependencies abstract-curry >= 1.0.0 Compiler compatibility pakcs >= 1.10.0, < 2.0.0 Executable Name dsdcurry Main module DSDCurryTransform Config module DSDCurryPackageConfig Test suite Directory src Check options -v Test modules DSDCurryTransform Test suite Directory examples Check options -v --nospec Test modules coin fac fib fibinfinite freevarassertion nats ndassertion quicksort quicksortpartition sortminrest sortspec wrongviolation Source Git https://github.com/curry-packages/dsdcurry.git@v1.0.0 License BSD-3-Clause License file LICENSE