Open ForNeVeR opened 8 years ago
I've found that Read the Docs provides a nice hosting and tooling to construct the documentation. Guys like Idris and Agda are using it. So I think that we could pack all of our end-user and developer docs, clean them up a bit and publish there.
Documenting things is not a bad habit.
I've found that Read the Docs provides a nice hosting and tooling to construct the documentation. Guys like Idris and Agda are using it. So I think that we could pack all of our end-user and developer docs, clean them up a bit and publish there.
Documenting things is not a bad habit.