abstract-curry

This package contains libraries to deal with AbstractCurry programs. AbstractCurry is a representation of Curry programs oriented towards the source code of Curry. Thus, it can be used to generate readable Curry programs, e.g., by the Web framework Spicey.

The package contains the following modules: