Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Create documentation to migrate from OASIS to dune #129
This is an alternative proposal to #109
Rather than providing a tool to do the migration, we can provide a bunch of examples and a general HOWTO for the migration from OASIS to dune.
It is probably pretty straight forward to migrate and a bunch of examples will probably help people to do so -- without having to delve into the complexity of an automated tools that will not manage corner cases.