cduce_mktop man page

cduce_mktop — Produce a customized CDuce toplevel/compiler.

Synopsis

cduce_mktop [target] [primitive file]

Description

See the CDuce users' manual:
http://www.cduce.org/manual_interfacewi….

Author

Alain Frisch <Alain.Frisch@ens.fr>.

Info