Closed dchiller closed 3 weeks ago
With #870, OMR backend is mostly complete (there are few outstanding separate issues), and we can reimplement the OMR frontend.
With #870, OMR backend is mostly complete (there are few outstanding separate issues), and we can reimplement the OMR frontend.