DeepSpec/InteractionTrees

Replace uses of strong excluded middle with choice

Closed this issue · 0 comments

Replace uses of strong excluded middle with choice