An Integrated Development Environment for Declarative Multi-Paradigm Programming

Michael Hanus, Johannes Koj

In this paper we present CIDER (Curry Integrated Development EnviRonment), an analysis and programming environment for the declarative multi-paradigm language Curry. CIDER is a gra…