-
Fonenantsoa Maurica authored
Fixes Issue 69: unsound translation when bounds for quantified variables are bigger than their types
d5f3afc8
To find the state of this project's repository at the time of any of these versions, check out the tags.
Fixes Issue 69: unsound translation when bounds for quantified variables are bigger than their types