A tool to browse through the modules and functions of a Curry program, show them in various formats, and analyze their properties.

Note: Functionalities of the Browser marked by “(DOT)” require an installed graph visualization tool (dot, see below), otherwise they have no effect.

Developed by Michael Hanus (CAU Kiel, Germany,

Software requirements: