Repository navigation
Proper documentation #363
Description
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.
Activity