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.
Language.Curry.CheckDetUsage: check the correct use of DET annotations to mark deterministic operations as described in http://dx.doi.org/10.1007/978-3-319-51676-9_1
Language.Curry.CheckOperations: check the correct use of set functions and whether some auxiliary operations are not used, mainly the non-strict equality operation Prelude.=:<= which used to implement functional patterns.
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.