cduce

1

cduce

The CDuce compiler/interpreter/toplevel

    cduce

      OPTIONS

    --arg argument

    cduce

      OPTIONS

     file.cd | --stdin
    --arg argument

    cduce --compile

      OPTIONS

     file.cd

    cduce --run

      OPTIONS

      file.cdo

    --arg argument

## Description

See the CDuce users' manual: `http://www.cduce.org/manual_interpreter.html`.

## Reporting bugs

Report bugs to devel@cduce.org.

## See also

A complete documentation, reference manual, tutorial, technical articles on implementation and theoretical issues, benchmarks, source code, mailing lists and forums can be found on the CDuce website: `http://www.cduce.org/`.

## Authors

Alain Frisch <Alain.Frisch@ens.fr>. Small contributions by Giuseppe Castagna <Giuseppe.Castagna@ens.fr>, Julien Demouth <Julien.Demouth@ens.fr>, and Stefano Zacchiroli <zack@di.ens.fr>.