Differences

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

--- language:start [2019/04/18 10:06]
rajit created
+++ language:start [2023/04/09 19:14] (current)
rajit
@@ Line 5: / Line 5: @@
    * [[language:introduction|Introduction]]: A brief introduction to the circuit description language, including some simple examples.
-   * [[language:types|Types]]: The care and feeding of type definitions.
+   * Types
-   * [[language:expressions|Expressions]]: The syntax of expressions.
+      * [[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:|Languages]]: Various languages, including CHP, PRS, and HSE.
+   * [[language:langs:|Sublanguages]]: Various hardware description sub-languages within ACT, including CHP, PRS, and HSE.
-   * [[language:Errors and Warnings]]: Errors and warnings printed by the ACT library.