Closed
Description
18.5.2 Evaluation Semantics
says
eval(D(G), ToMultiSet(L)) = ToMultiSet(eval(D), M))
shouldn't M be L here?
Metadata
Metadata
Assignees
Type
Projects
Milestone
Relationships
Participants
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
Activity
hartig commentedon May 4, 2025
Good catch. In fact, there is another typo in there. It should be:
[-]typo?[/-][+]Typo in evaluation semantics of ToMultiSet[/+]fixes the definition of 'Evaluation of ToMultiSet' as per #213, and r…