residuation-analysis-0.0.1 -------------------------- Version 0.0.1 Author Michael Hanus Synopsis Analyzing the residuation behavior of Curry programs Category Analysis Dependencies cass >= 2.0.0 cass-analysis >= 2.0.0 csv >= 1.0.0 currypath >= 0.0.1 flatcurry >= 2.0.0 Compiler compatibility pakcs >= 2.0.0, < 3.0.0 kics2 >= 2.0.0, < 3.0.0 Executable Name curry-anaresinfo Main module AnalyzeResiduation Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/residuation-analysis.git@v0.0.1 License BSD-3-Clause License file LICENSE