Convert docs to Edify.

Closes #23.