Uploaded at Apr 1 11:59:22 2020 (UTC)

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)".


Download

Checkout with CPM:
cypm checkout currybrowse 0.5.0
Package source:
currybrowse-0.5.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/currybrowse.git