Curry Package 'currybrowse'

CurryBrowser

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, mh@informatik.uni-kiel.de)

Software requirements:

  • A Curry implementation like PAKCS (http:/www.informatik.uni-kiel.de/~pakcs) or KiCS2 (http://www-ps.informatik.uni-kiel.de/kics2/) for compiling and running the browser

  • Tcl/Tk (for running the browser GUI) http://www.scriptics.com/software/tcltk/

  • dot/ghostview (for visualizing import graphs): http://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)".