Curry Package 'dsdcurry'

Package metadata:

dsdcurry-1.0.0
--------------
Version      1.0.0
Author       Sergio Antoy Michael Hanus
Maintainer   Michael Hanus <mh@informatik.uni-kiel.de>
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://git.ps.informatik.uni-kiel.de/curry-packages/dsdcurry.git@v1.0.0
License
    BSD-3-Clause
License file
    LICENSE