---
name: "cduce"
section: "1"
platform: "linux"
package: "cduce"
version: "0.6.0-5+b6"
release: "Debian 9 (Stretch)"
platforms: ["linux"]
url: "https://new.carta.tech/cduce"
---

# cduce(1)

The CDuce compiler/interpreter/toplevel

## NAME

cduce — The CDuce compiler/interpreter/toplevel

## SYNOPSIS

**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\>.**