Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
language:start [2021/11/21 12:41]
rajit
language:start [2023/04/09 19:14] (current)
rajit
Line 10: Line 10:
       * [[language:impl|Implementation relation]]: The implementation relation and re-using parts of types.       * [[language:impl|Implementation relation]]: The implementation relation and re-using parts of types.
       * [[language:interface|Constructors for types]]: Implementing types using other types       * [[language:interface|Constructors for types]]: Implementing types using other types
-   * [[language:expressions|Expressions]]: The syntax of expressions. 
    * [[language:connections|Connections]]: Wires, connections, aliasing and initialization of meta parameters.    * [[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: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:namespaces|Namespaces]]: The care and feeding of namespaces.
-   * [[language:langs:|Languages]]: Various languages, including CHP, PRS, and HSE.+   * [[language:langs:|Sublanguages]]: Various hardware description sub-languages within ACT, including CHP, PRS, and HSE.