Skip to content

Fix isomorphism tests of AndOrTypes under non-empty BinderPairs (… #44

Fix isomorphism tests of AndOrTypes under non-empty BinderPairs (…

Fix isomorphism tests of AndOrTypes under non-empty BinderPairs (… #44