Machine integers and range types
Now that range types are available, we should investigate moving away types such as int31
from abstract types. We should also see whether it helps expressing for
loops on machine integers (hopefully yes).
Now that range types are available, we should investigate moving away types such as int31
from abstract types. We should also see whether it helps expressing for
loops on machine integers (hopefully yes).