Can the unfold operation be used to simplify the implementation of Ska?
Can the unfold operation be used to simplify the implementation of Ska?