Clean shared lattices
Opened this issue · 1 comments
felix-andreas commented
In my opinion shared lattices should not contain any markers or other optional elements.
They should be as clean as possible, so that they are useful for everyone.
MichaelMAB2020 commented
They should be as clean as possible, so that they are useful for everyone.
I fully agree! But sometimes markers make the lattice more useful (=better to read/understand).
If markers are difficult to parse (are they ?) author provided lattices should not contain them. If not I'd ask the author to reduce them to a set that making it easier to understand the lattice.