metaborg/dynsem

Add list concatenation operator

vvergu opened this issue · 1 comments

vvergu commented

Add a builtin operator for list concatenation ++ to be used like this: L1 ++ L2.

vvergu commented

Done.