|
|
|
|
|
|
by QuinnWilton
1886 days ago
|
|
|
Not that I've seen yet, but the manual does include this passage: > Strand provides pattern matching but no general unification, instead
logic variables must be explicitly assigned, which simplifies the
semantics considerably. |
|
|