freebsd-ports/devel/hs-uni/pkg-descr
Oliver Braun 79f0e4e087 Add hs-uni 0.99, a tool integration framework for Haskell, including Htk.
PR:		ports/53062
Submitted by:	Guy Coleman <gtchask@mm.st>
2003-06-09 20:51:20 +00:00

7 lines
398 B
Text

The UniForM workbench is an integration framework mainly geared towards
tools for formal methods. It uses a simple, powerful and flexible notion
of events to model all interactions between tools and users. In
particular, the workbench provides HTk, an encapsulation of Tcl/Tk based
on our event model (see HTk under Graphical User Interfaces).
WWW: http://www.informatik.uni-bremen.de/uniform/wb/