split: add split * and split + to iterate over top-level conjunctions#1015
Open
strub wants to merge 1 commit into
Open
split: add split * and split + to iterate over top-level conjunctions#1015strub wants to merge 1 commit into
split * and split + to iterate over top-level conjunctions#1015strub wants to merge 1 commit into
