Fixed the most embarrassing bug in Eff's history.
Fixed the most embarrassing bug in Eff's history.

It was embarrassing because we thought it was true,
spent half a year adapting the semantics to it,
and found an obvious counterexample one day before
the paper submission deadline.
matijapretnar/eff,andrejbauer/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff