CIDER: a graphical development environment for Curry

From: Michael Hanus <>
Date: Fri, 22 Dec 2000 10:25:06 +0100 (MET)

Dear Colleagues,

I'd like to inform you that CIDER, a graphical programming and
development environment for Curry is available at

CIDER is intended as a platform to integrate various
tools for analyzing and debugging Curry programs.
Currently, it consists of a program editor, various tools for
analyzing properties of functions in Curry programs (types,
overlapping definitions, complete definitions, dependencies etc),
a graphical debugger, i.e., a visualization of the evaluation
of expressions, and a tool for drawing dependency graphs.

CIDER is completely implemented in Curry and uses the GUI library
and the FlatCurry library for meta-programming provided with PAKCS.
Even if you do not want to use it directly, it might be interesting
to look at CIDER since
- CIDER provides a connection to the graph visualization tool daVinci
  (which is useful if you want visualize directed graphs in Curry)
- CIDER provides a module containing a meta-interpreter for executing
  FlatCurry programs in Curry
  (which could be also used in other contexts)
- CIDER is a case study to show the implementation of larger
  applications with Curry. In particular, it uses the features
  for distributed programming to organize the coordination of
  the different units in this application.

To get a quick impression about CIDER, just look at the web page.

Merry Christmas and a Happy New Year!

curry mailing list
Received on Fr Dez 22 2000 - 10:57:56 CET

This archive was generated by hypermail 2.3.0 : So Jul 05 2020 - 07:15:03 CEST