The Metal environment

The Metal environment enables you to edit and compile Metal specifications. The Metal environment is available whenever an editor contains an abstract syntax tree belonging to the Metal formalism.



Tutorial