SequentLike.isEmpty should be conjunction instead of disjunction

Paradoxika / Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.

33 stars 25 forks source link

SequentLike.isEmpty should be conjunction instead of disjunction #84

Closed ceilican closed 11 years ago

Jogo27 commented 11 years ago

Why is it a disjunction ?

ceilican commented 11 years ago

It seems I implemented it wrongly as a disjunction. It was probably a programming typo: I might have typed || instead && while thinking about conjucntion.

I opened this issue because I didn't want to forget this crucial bug, and I didn't have the possibility to fix it when I noticed it.

Jogo27 commented 11 years ago

Ok, sorry, I thought the code was used somewhere else and the current behaviour was expected.