Convert Cadence docs to Edify.

Closes #145.