What it can do now. What are the limits. What’s planned next? Are questions we have as first time visitors.
The concepts, capabilities, and limitations of RbSyn are explained in this talk: https://www.pldi21.org/poster_pldi.124.html with full details in the accompanying PLDI paper: https://arxiv.org/abs/2102.13183
I will link these from the readme soon.
