1. DynSem Language Reference

This is the root of DynSem’s language reference. The documentation is organized by concept/concern rather than by syntactic construct.

• 1.1. Modules
  • 1.1.1. Importing modules
  • 1.1.2. Signatures
  • 1.1.3. Rules
• 1.2. Term signatures
• 1.3. Reduction rules
  • 1.3.1. Signatures of arrows, components and meta-functions
  • 1.3.2. Rules
  • 1.3.3. Explication of semantic components
• 1.4. Built-in data types
  • 1.4.1. Numbers
    • Int
    • Long
    • Float
    • Real
  • 1.4.2. Bool
  • 1.4.3. String
  • 1.4.4. List
  • 1.4.5. Map
  • 1.4.6. Tuple
• 1.5. Configuration file