We should add a documentation website once we have decided on a proper API for the user, we have some choices for the implementation: - mdoc - Scaladoc - Follow changes described in https://github.com/lampepfl/dotty/pull/14669
We should add a documentation website once we have decided on a proper API for the user,
we have some choices for the implementation: