Uploaded at Apr 1 12:04:32 2020 (UTC)

Curry Package sourceproggui

A simple GUI for highlighting functions in the source text of a Curry module.

To start the GUI:

> curry-showsource <module name>

Select highlighting by commands written on stdin:

+fun          -> highlight function "fun"
-fun          -> remove highlighting for function "fun"
<empty line>  -> terminate GUI
q             -> terminate GUI

Download

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