Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

ROPE assumes lower=1 #20

Closed
tybor opened this Issue · 1 comment

2 participants

Paolo Redaelli Cyril Adrian
Paolo Redaelli
Owner

While it is customary that ABSTRACT_STRING.lower is 1 it is wiser to remove this assumption even on ROPE.
In fact we may want to change this invariant in future.

Cyril Adrian cadrian closed this
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.