the documentation with the rendering of the Gospelstdlib (by the gospel.ppx+odoc+odig pipeline)
and add a link to that local rendering of the Gospelstdlib. As docusaurus is still utter magic to me, I’m not sure the link will actually work when deployed, though :-/
This PR updates:
Gospelstdlib
(by the gospel.ppx+odoc+odig pipeline)and add a link to that local rendering of the Gospelstdlib. As docusaurus is still utter magic to me, I’m not sure the link will actually work when deployed, though :-/