Skip to content

Add sphinx documentation

BinderDavid requested to merge add-docs into master

Add a docs/ subfolder with a sphinx documentation page which uses the readthedocstheme. I have copied the documentation from the GHC user guide and removed all references which belong to the documentation of GHC, e.g. options for specifying directories where GHC puts the .tix files.

Fixes #5 (closed)

Edited by BinderDavid

Merge request reports