Allow adt constructors to have associated axiom#866
Open
JonasAlaif wants to merge 1 commit intomasterfrom
Open
Allow adt constructors to have associated axiom#866JonasAlaif wants to merge 1 commit intomasterfrom
JonasAlaif wants to merge 1 commit intomasterfrom
