Download 0.4.0 PDF - Read the Docs

Dyna Documentation, Release 0.4 git=fb40b6a
3.3.5 Frozen terms
Full discussion in Dynabases.
3.4 Patterns (i.e., non-ground terms)
3.4.1 Variables
Variable names
Underscores
3.4.2 Non-ground terms
3.4.3 Types
Type declarations
Typed variables
Co-inductive types
Possible future extensions
Guarded types? Nonlinear types? Parametric types?
3.4. Patterns (i.e., non-ground terms)
17