Web Interface for CASS

You can analyze a Curry program with various analyses:


Curry program:

Select analysis type: