Wasn't there something about Owl being "concluded" about a year ago because the 2 developers no longer had time for the project? Is Raven the successor to Owl?
https://discuss.ocaml.org/t/owl-project-restructured/14226
Too early to tell what it will lead to.
> Is Raven the successor to Owl?
That's what I am wondering too (especially with the name), but I couldn't find a reference to Owl in the repo.