====== The ACT Language ======

This document describes the language used by the Asynchronous Circuit
Toolkit (ACT).

   * [[language:introduction|Introduction]]: A brief introduction to the circuit description language, including some simple examples.
   * Types
      * [[language:types|Basic types]]: The care and feeding of basic type definitions and arrays.
      * [[language:types2|User defined types]]: Defining processes, data types, and channels.
      * [[language:impl|Implementation relation]]: The implementation relation and re-using parts of types.
      * [[language:interface|Constructors for types]]: Implementing types using other types
   * [[language:connections|Connections]]: Wires, connections, aliasing and initialization of meta parameters.
   * [[language:expressions|Expressions]]: The syntax of expressions, including defining functions in ACT as well as externally defined functions.
   * [[language:controlflow|Control Flow]]:  Looping and IF constructs for circuit construction.
   * [[language:debugging|Debugging Support]]: Assertions and logging
   * [[language:namespaces|Namespaces]]: The care and feeding of namespaces.
   * [[language:langs:|Sublanguages]]: Various hardware description sub-languages within ACT, including CHP, PRS, and HSE.