curry-source: Libraries to check Curry source programs

This package contains libraries to deal with the source code level of Curry programs.

There are some libraries to check the intended usage of some Curry features.

Furthermore, there is a library Language.Curry.StringClassifier to process strings containing Curry source code.


The directory examples of this package contains example programs showing unintended uses of Curry features which are detected by the libraries of this package. Note that these libraries are integerated in CurryCheck so that these unintended uses are detected when processing these examples with CurryCheck.