Download
1
2
3
4
5
language Essence 1.3
 
letting Tasks be new type enum {a,b,c,d}
 
letting shifts be { {a,b}, {c,d}, {a,b,c} }