cleancurry1

Usage

Overview

The cleancurry command removes all intermediate files produced when Curry programs are compiled with the PAKCS compiler.

For further information, please check http://currry-language.org and https://www.informatik.uni-kiel.de/~pakcs/

Options:

-r

Apply cleancurry recursively to all subdirectories

-a

Remove all intermediate Curry files (even those without a source file)

MODULE

Remove only intermediate Curry files for program MODULE. If this option is missing, the intermediate files for all Curry modules in the current directory are removed.