Search GODI:
|
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 ...] |
|
See the CDuce users’ manual: http://www.cduce.org/manual_interpreter.html. |
|
Report bugs to devel@cduce.org. |
|
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/. |
|
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>. |
