ocannl
ocannl copied to clipboard
Update all docu-comments and integrate with `odoc`
Also, generate the documentation and integrate it with the GitHub page, maybe using github.io.