update scala kore parser to use multi-ary and and or everywhere#3678

Merged

dwightguth merged 6 commits intodevelopfrom and_or2

Oct 2, 2023

+46-37

Commits on Sep 29, 2023

update scala code to use multi-ary and/or everywhere
Dwight Guth
committed
update k-distribution scala tests
Dwight Guth
committed
when constructing multi-ary And/Or, desugar 0 or 1 arguments
Dwight Guth
committed

Commits on Oct 2, 2023

add comment
Dwight Guth
committed
delete dead case
Dwight Guth
committed
Merge branch 'develop' into and_or2
Dwight Guth
authored