Skip to content

Add weakening rule

Hans-Jörg requested to merge add/or_intro into master

used by Carcara.

Addresses #45

Edited by Hans-Jörg

Merge request reports