This is an old revision of the document!
Table of Contents
Editing Curry programs
Of course, one can use any text editor to write and modify Curry programs. However, for some editors (listed below), there exist specific modes to edit or highlight Curry programs.
