looper run script
version
add test case Closure.hs, ergibt False bei verification ??
B

repair order of cases (then verification is OK)
more test cases
transport system working ?
HW1 example also working (!)
exactly this will solve HW1
Overlap.hs working for (simple) ab -> bbaa
Closure.hs working (for HW1)
hm
add example
add example (?)
allocate first a precedence, then an interpretation (ignores -o)
prettyprinter for linear interpretations
introduce empty precedence (issue #59)
argument filter with projections (issue #69)
fix issue #69
fix issue #64
fix warnings