Translator for Curry programs into FlatCurry/XML

Here you can translate your Curry program into a corresponding FlatCurry program in XML representation (the DTD for this representation can be found in http://www.informatik.uni-kiel.de/~curry/flatcurry.dtd).

Input here your favorite Curry program:
(this field contains the famous list concatenation as an initial example)

This web page is powered by

Curry