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, firstname.lastname@example.org)
A Curry implementation like PAKCS (https:/www.informatik.uni-kiel.de/~pakcs) or KiCS2 (https://www-ps.informatik.uni-kiel.de/kics2/) for compiling and running the browser
Tcl/Tk (for running the browser GUI) https://www.tcl.tk/
dot/ghostview (for visualizing import graphs): https://www.graphviz.org/
Adapt definition of dot viewer according to your local installation with the menu “Settings”. If you don’t have this software, you can’t use the browser functions marked by “(DOT)”.