Is your feature request related to a problem? Please describe.
Currently list objects can not be compared directly in OpShin but only by comparing datums that contain them or by casting them into Anything. This enforces equality on a CBOR level but does not allow purely semantic comparison.
concretely compiling and executing the following does not work currently but is supposed to work
Describe the solution you'd like
An implementation of Eq and NotEq in the ListType that relies only on list semantics. Note that this execution is expensive (linear in the size of the list)
Is your feature request related to a problem? Please describe. Currently list objects can not be compared directly in OpShin but only by comparing datums that contain them or by casting them into Anything. This enforces equality on a CBOR level but does not allow purely semantic comparison.
concretely compiling and executing the following does not work currently but is supposed to work
Describe the solution you'd like An implementation of Eq and NotEq in the ListType that relies only on list semantics. Note that this execution is expensive (linear in the size of the list)
Describe alternatives you've considered None.